10159 search results - page 2030 / 2032 » System Design Validation Using Formal Models |
ESA
2005
Springer
14 years 16 days ago
2005
Springer
We consider a one dimensional storage system where each container can store a bounded amount of capacity as well as a bounded number of items k ≥ 2. This defines the (standard)...
MIDDLEWARE
2004
Springer
14 years 11 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
ICEIS
2003
IEEE
14 years 9 days ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
SIGMETRICS
2010
ACM
13 years 12 months ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
NEUROSCIENCE
2001
Springer
13 years 11 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...