1323 search results - page 211 / 265 » Extended Modeling Languages for Interaction Protocol Design |
132
click to vote
AIPS
2010
15 years 6 months ago
2010
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
119
click to vote
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
145
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
176
click to vote
IJCAI
1989
15 years 5 months ago
1989
Research in Distributed Artificial Intelligence is concerned with how automated agents can be designed to interact effectively. One important capability that could aid inter-agent...
146
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...