3972 search results - page 473 / 795 » Design of the iSCSI Protocol |
155
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
161
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Transferring data reliably from Mars to Earth stations is becoming an appealing challenge in the design of interplanetary networks. In this view, the use of CCSDS-based protoco...
203
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent advances in wireless technology as well as in electronics industry have given rise to the widespread of wireless ad-hoc networking. Expanding data-centric applications t...
167
click to vote
WEBI
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we present the design and implementation of a lightweight fault tolerance framework for Web services. With our framework, a Web service can be rendered fault tolera...
138
click to vote
ASPDAC
2006
ACM
16 years 22 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...