Sciweavers

4348 search results - page 545 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
DATE
2008
IEEE
112views Hardware» more  DATE 2008»
16 years 1 months ago
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
Jonas Elmqvist, Simin Nadjm-Tehrani
ICSNC
2007
IEEE
16 years 29 days ago
Advanced Querying Architecture for DICOM Systems
Radiology, which deals with medical images for diagnosis purposes, has seen a lot of improvements during the last decades thanks to information technology. The migration from stud...
Rui Agostinho, Manuela Pereira, Mário M. Fr...
186
Voted
ICSM
1997
IEEE
15 years 11 months ago
Dynamic Traceability Links Supported by a System Architecture Description
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
Eirik Tryggeseth, Øystein Nytrø
HYBRID
1997
Springer
15 years 10 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani
151
Voted
JCS
2008
69views more  JCS 2008»
15 years 6 months ago
Non-delegatable authorities in capability systems
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
Toby C. Murray, Duncan A. Grove