284 search results - page 40 / 57 » Labels and event processes in the Asbestos operating system |
139
Voted
TGC
2007
Springer
16 years 24 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
132
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, a cardiac sense amplifier, i.e. the front end of a pacemaker, based on the Dynamic Translinear (DTL) circuit technique is presented. The system consists of a voltag...
146
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—A material handling (MH) system of a general assembly line dispatching parts from inventory to working buffers could be complicated and costly to operate. Generally it is extrem...
247
Voted
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
177
Voted
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...