1588 search results - page 76 / 318 » Modular action language |
89
Voted
UM
2007
Springer
15 years 8 months 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...
100
Voted
IEE
1998
15 years 2 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 ...
117
click to vote
TIME
1998
IEEE
15 years 6 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. ...
230
click to vote
IROS
2009
IEEE
15 years 9 months 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...
114
Voted
GPCE
2005
Springer
15 years 8 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...