4190 search results - page 698 / 838 » Implementing commitment-based interactions |
109
click to vote
ENTCS
2007
15 years 2 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
118
click to vote
ENTCS
2007
15 years 2 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
121
click to vote
ENTCS
2007
15 years 2 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
123
click to vote
ENTCS
2007
15 years 2 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
126
Voted
NN
2008
Springer
15 years 2 months ago
2008
Springer
The problem of controlling locomotion is an area in which neuroscience and robotics can fruitfully interact. In this article, I will review research carried out on locomotor centr...