12 search results - page 1 / 3 » Valid formulas, games and network protocols |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
NETGAMES
2006
ACM
13 years 11 months ago
2006
ACM
This paper studies a way to improve consistency of states in a ball game typed DVE with lag, in P2P architecture. We also study how to control shared objects in real-time in a ser...
DSN
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
PE
2010
Springer
12 years 11 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
FORTE
2010
13 years 6 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...