82 search results - page 9 / 17 » Specification and Validation of Behavioural Protocols in the... |
119
click to vote
TACS
2001
Springer
15 years 5 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
132
click to vote
SIMUTOOLS
2008
15 years 2 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
111
click to vote
ACTA
2006
15 years 1 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
100
click to vote
ECIS
2011
14 years 1 months ago
2011
The paper presents a persuasive web application that stimulates residential energy conservation. The users of the application received consumption feedback that is based on electr...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...