284 search results - page 40 / 57 » Labels and event processes in the Asbestos operating system |
133
click to vote
TGC
2007
Springer
16 years 5 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 ...
125
click to vote
ISCAS
2003
IEEE
15 years 11 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...
132
click to vote
CDC
2008
IEEE
16 years 17 days 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...
233
click to vote
ESEC
1999
Springer
15 years 10 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 ...
162
click to vote
DSN
2007
IEEE
16 years 12 days 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...