660 search results - page 81 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
159
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
124
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
147
Voted
INFORMS
1998
15 years 2 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
133
click to vote
JUCS
2008
15 years 2 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
135
click to vote
RSP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...