237 search results - page 34 / 48 » Towards Two-Level Formal Modeling of Computer-Based Systems |
DATE
2010
IEEE
14 years 18 days ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
BTW
2001
Springer
14 years 1 days ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
IFIP
2001
Springer
13 years 12 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
ISER
2004
Springer
14 years 27 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...