700 search results - page 72 / 140 » Combinations of Stit and Actions |
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
COSIT
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...