Search

Your search keyword '"Agha, Gul"' showing total 669 results

Search Constraints

Start Over You searched for: Author "Agha, Gul" Remove constraint Author: "Agha, Gul"
669 results on '"Agha, Gul"'

Search Results

451. Puff, The Magic Protocol

452. Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

453. Abstract LR-Parsing

454. From Explicit to Symbolic Types for Communication Protocols in CCS

455. Towards a System Model for Ensembles

456. A Formal Methodology for Compositional Cross-Layer Optimization

457. Model Feasible Interactions in Distributed Real-Time Systems

458. Mathematical Models of Object-Based Distributed Systems

459. Honoring Carolyn Talcott’s Contributions to Science

460. Ten Years of Analyzing Actors: Rebeca Experience

461. Simulation and Analysis of Distributed Systems in Klaim

462. Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks

463. Compositional Construction of Real-Time Dataflow Networks

464. A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks

465. A Calculus for Boxes and Traits in a Java-Like Setting

466. JErlang: Erlang with Joins

467. Behavioural Contracts with Request-Response Operations

468. NOW: A Workflow Language for Orchestration in Nomadic Networks

469. Efficient Session Type Guided Distributed Interaction

470. Observables for Mobile and Wireless Broadcasting Systems

471. Scalable Efficient Composite Event Detection

472. Modelling Railway Interlocking Tables Using Coloured Petri Nets

473. Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.

474. Two PhD Students for the Price of One

484. Modeling of a Library with THORNs

497. A Cooperative Petri Net Editor

498. The Hurried Philosophers

499. Special issue on programming based on actors, agents and decentralized control

500. Objects In Space

Catalog

Books, media, physical & digital resources