Sciweavers

1879 search results - page 181 / 376
» Extending Reflective Architectures
Sort
View
ESEC
1997
Springer
15 years 8 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ENC
2004
IEEE
15 years 8 months ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
ICWS
2007
IEEE
15 years 5 months ago
Web Services Methods for Communication over IP
In this paper, we study web services methods and approaches to enable real-time communication services over IP. This approach extends web services methodologies from service integ...
Wu Chou, Li Li, Feng Liu
FGCS
2006
119views more  FGCS 2006»
15 years 4 months ago
OpenMP versus MPI for PDE solvers based on regular sparse numerical operators
Tw o parallel programming models represented b y OpenMP and MPI are compared for PDE solvers based on regular sparse numerical operators. As a typical representative of such an app...
Markus Nordén, Sverker Holmgren, Michael Th...
CSUR
2000
141views more  CSUR 2000»
15 years 4 months ago
On built-in test reuse in object-oriented framework design
: Object-oriented frameworks have extended reusability of software from code modules to architectural and domain information. This paper further extends software reusability from c...
Yingxu Wang, Dilip Patel, Graham King, Ian Court, ...