3199 search results - page 163 / 640 » Variability in Automation System Models |
133
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
101
click to vote
ASP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
116
Voted
BMAS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
112
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
136
click to vote
WSC
2008
15 years 5 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...