917 search results - page 37 / 184 » Structural Testing of Component-Based Systems |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
AAAI
2006
13 years 10 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...