3239 search results - page 193 / 648 » A Logical Process Calculus |
119
Voted
COORDINATION
2009
Springer
16 years 4 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...
146
Voted
TASE
2007
IEEE
15 years 9 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...
130
click to vote
EMSOFT
2005
Springer
15 years 9 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...
129
click to vote
POLICY
2004
Springer
15 years 8 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...
129
click to vote
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...