Sciweavers

425 search results - page 33 / 85
» The ENTRAPID Protocol Development Environment
Sort
View
227
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 7 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
113
Voted
FMICS
2006
Springer
15 years 4 months ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Anders Hessel, Paul Pettersson
ICPP
2000
IEEE
15 years 4 months ago
A Problem-Specific Fault-Tolerance Mechanism for Asynchronous, Distributed Systems
The idle computers on a local area, campus area, or even wide area network represent a significant computational resource--one that is, however, also unreliable, heterogeneous, an...
Adriana Iamnitchi, Ian T. Foster
IIWAS
2007
15 years 1 months ago
Engineering Communities of Web Services
This paper presents an approach that provides the necessary assistance to those who are in charge of engineering communities of Web services. Current practices indicate that Web se...
Sattanathan Subramanian, Philippe Thiran, Zakaria ...
128
Voted
ADHOC
2006
115views more  ADHOC 2006»
15 years 16 days ago
Routing characteristics of ad hoc networks with unidirectional links
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...
Jorjeta G. Jetcheva, David B. Johnson