9821 search results - page 252 / 1965 » A Framework for the Development of Protocols |
167
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
158
click to vote
EUROPAR
2004
Springer
16 years 3 days ago
2004
Springer
Enabling quality of service (QoS) in the Grids requires not only resource management strategies but also the development of protocols enabling structured negotiation for the use of...
167
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
172
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
The Generic Adaptation Framework research project aims to develop a new reference model for the adaptive hypermedia research field. The new model will consider new developments, t...
155
click to vote
ATS
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...