1588 search results - page 76 / 318 » Modular action language |
125
click to vote
UM
2007
Springer
16 years 10 days ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...
147
click to vote
IEE
1998
15 years 5 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
161
Voted
TIME
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
269
click to vote
IROS
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
151
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...