10263 search results - page 247 / 2053 » From Use Cases to System Operation Specifications |
187
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
149
click to vote
FSR
2003
Springer
16 years 14 days ago
2003
Springer
Inherent dangers in mining operations motivate the use of robotic technology for addressing hazardous situations that prevent human access. In the context of this case study, we e...
194
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
216
click to vote
EUROSYS
2008
ACM
16 years 4 months ago
2008
ACM
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...
175
click to vote
JMS
2007
15 years 7 months ago
2007
Long waiting times for emergency operations increase a patient’s risk of postoperative complications and morbidity. Reserving Operating Room (OR) capacity is a common technique t...