840 search results - page 5 / 168 » Modelling Functional Requirements in Spatial Design |
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
MOMPES
2007
IEEE
14 years 29 days ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
HT
2005
ACM
14 years 7 days ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...
EUROPKI
2004
Springer
14 years 2 days ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
IROS
2007
IEEE
14 years 29 days ago
2007
IEEE
—In this paper, we propose a new 3-DOF parallel mechanism for PDP TV mounting device with 2-rotation and 1-translation. The most important operational requirement of this device ...