4099 search results - page 429 / 820 » A Framework for Interactive Proof |
169
click to vote
WSC
1998
15 years 8 months ago
1998
A model is proposed which identifies factors associated with the adoption of discrete event simulation and places them within an explanatory framework. The model proposes four mai...
158
click to vote
JCP
2006
15 years 6 months ago
2006
Representational autonomy is a key property of an artificial agent. The type of representational structures and the role they play in the preservation of an agent's autonomy a...
103
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...
159
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Communities of autonomous units are devices to model the interaction of independent processes in a rule-based and graphical way. In this paper, the framework is proposed to descr...
160
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...