925 search results - page 53 / 185 » Typing Component-Based Communication Systems |
DSD
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
TOG
2012
12 years 11 days ago
2012
We present a dynamic tree modeling and representation technique that allows complex tree models to interact with their environment. Our method uses changes in the light distributi...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper proposes analytical models of two types of Multi-RED queues, WRED and RIO-C, serving as droppers in DiffServ networks. Both are scrutinized under two types of configurati...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
TACS
1994
Springer
14 years 2 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...