6656 search results - page 1028 / 1332 » Change, Change, Change: Three Approaches |
171
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
168
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
We present a TCM-Grid for Traditional Chinese Medicine (TCM). The purpose of the TCM-Grid is to aid the development of distributed systems that help health professionals, researche...
226
Voted
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
161
click to vote
EDBTW
2010
Springer
15 years 12 months ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...
182
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...