793 search results - page 129 / 159 » Protocol Modeling with Model Program Composition |
HPDC
1997
IEEE
14 years 24 days ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
EUROGP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...