2004 search results - page 351 / 401 » Interaction nets: programming language design and implementa... |
121
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
124
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The development of coherent and dynamic behaviors for mobile robots is an exceedingly complex endeavor ruled by task objectives, environmental dynamics and the interactions within...
148
Voted
INTERNET
2007
15 years 3 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
156
Voted
JACM
2002
15 years 3 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
112
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...