10 search results - page 2 / 2 » Simplified Submission of Inputs to Protocols |
BC
2004
13 years 5 months ago
2004
We develop a simple hexapedal model for the dynamics of insect locomotion in the horizontal plane. Each leg is a linear spring endowed with two inputs, controlling force-free lengt...
WWW
2007
ACM
14 years 5 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
FASE
2009
Springer
13 years 9 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
OSDI
2002
ACM
14 years 5 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
INFOCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
StaticPSM (Power-Saving Mode)schemes employed in the current IEEE 802.11 implementations could not provide any delag-performance guarantee because of their fixed wakeup intervals. ...