9821 search results - page 124 / 1965 » A Framework for the Development of Protocols |
147
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
114
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
140
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
150
click to vote
TIT
2010
14 years 11 months ago
2010
Abstract--Over the past three decades we have steadily increased our knowledge on the genetic basis of many severe disorders. Nevertheless, there are still great challenges in appl...
147
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...