463 search results - page 42 / 93 » Using Observation and Refinement to Improve Distributed Syst... |
131
Voted
AROBOTS
2008
15 years 2 months ago
2008
Abstract: We describe a methodology for creating new technologies for assisted living in residential environments. The number of eldercare clients is expected to grow dramatically ...
124
Voted
SIGMETRICS
2005
ACM
15 years 8 months ago
2005
ACM
Statistical information about the flow sizes in the traffic passing through a network link helps a network operator to characterize network resource usage, infer traffic demands,...
111
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
137
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
118
Voted
PTS
2007
15 years 4 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...