546 search results - page 75 / 110 » An Action Semantics for MML |
102
click to vote
ICOST
2007
Springer
15 years 8 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
132
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. We propose a new join point model for aspect-oriented programming (AOP) languages. In most AOP languages including AspectJ, a join point is a time interval of an action i...
107
click to vote
RIDE
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a scheme for identifying instances of events and extracting information about them. The scheme can handle all events with which an action can be associat...
117
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
IJCAI
2007
15 years 3 months ago
2007
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...