2786 search results - page 127 / 558 » A Practical Technique for Process Abstraction |
101
Voted
FORTE
2004
15 years 3 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
111
Voted
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
123
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
152
click to vote
TMI
2010
14 years 8 months ago
2010
Abstract--Doppler echocardiography remains the most extended clinical modality for the evaluation of left ventricular (LV) function. Current Doppler ultrasound methods, however, ar...
121
Voted
EJIS
2007
15 years 1 months ago
2007
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...