2940 search results - page 46 / 588 » Behavioral Constraints for Services |
POPL
1997
ACM
14 years 2 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
IJCAI
2001
13 years 11 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
ROBOCUP
2005
Springer
14 years 3 months ago
2005
Springer
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...