29143 search results - page 142 / 5829 » A Sortation System Model |
144
click to vote
COMPSAC
2010
IEEE
15 years 14 days ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
120
click to vote
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
A distributed decision support system involving multiple clinical centres is crucial to the diagnosis of rare diseases. Although sharing of valid diagnosed cases can facilitate la...
135
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
126
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
123
click to vote
ISLPED
1999
ACM
15 years 6 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...