293 search results - page 10 / 59 » Towards an Automatic Modeling Tool for Observed System Behav... |
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
ATVA
2006
Springer
14 years 20 days ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
ICPP
1994
IEEE
14 years 1 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...