4693 search results - page 269 / 939 » Verifying Hybrid Systems |
178
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...
154
Voted
AI
2010
Springer
15 years 10 months ago
2010
Springer
Automatic discovery of network applications is a very challenging task which has received a lot of attentions due to its importance in many areas such as network security, QoS prov...
164
click to vote
WSC
2008
15 years 9 months ago
2008
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
123
click to vote
MONET
2006
15 years 6 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
204
click to vote
CF
2011
ACM
14 years 6 months ago
2011
ACM
Ubiquitous computing has become a very popular paradigm. The most suitable technological solution for those systems consists of using hybrid processors able to operate at high vol...