440 search results - page 39 / 88 » A Temporal Calculus of Communicating Systems |
ISORC
2007
IEEE
14 years 1 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
SPAA
2003
ACM
14 years 19 days ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
The Web is rapidly moving towards a platform for mass collaboration in content production and consumption. Fresh content on a variety of topics, people, and places is being create...
VLBV
2005
Springer
14 years 26 days ago
2005
Springer
In this paper, we compare temporal layered coding (TLC), as well as single-state coding (SSC), to multi-state video coding (MSVC) in the context of lossy video communications. MSV...
EWSA
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...