2748 search results - page 278 / 550 » Generating Object-Z Specifications from Use Cases |
146
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
133
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
143
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
156
click to vote
ICMLA
2010
15 years 2 months ago
2010
Abstract--Clinical electroencephalography (EEG) is routinely used to monitor brain function in critically ill patients, and specific EEG waveforms are recognized by clinicians as s...
109
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Thermophilic proteins sustain themselves and function at higher temperatures. Despite their structural and functional similarities with their mesophilic homologues, th...