217 search results - page 21 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
HF
2002
15 years 5 days ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
116
Voted
ECBS
2007
IEEE
15 years 4 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
119
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
MTV
2005
IEEE
15 years 6 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...