1532 search results - page 161 / 307 » An Algebraic Process Calculus |
113
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
129
click to vote
COORDINATION
2009
Springer
16 years 5 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
155
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
146
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
140
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...