207 search results - page 34 / 42 » Automated Protocol Implementations Based on Activity Threads |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
USITS
1997
13 years 8 months ago
1997
In the Internet today, users and applications must often make decisions based on the performance they expect to receive from other Internet hosts. For example, users can often vie...
BROADBAND
1998
13 years 9 months ago
1998
One approach to facilitate statistical multiplexing of bursty sources in ATM networks is dispersion of the traffic over independent paths. It has been shown within the literature ...
EMS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...