Sciweavers

6031 search results - page 800 / 1207
» Communicating Transaction Processes
Sort
View
CBSE
2004
Springer
16 years 3 days ago
Correctness of Component-Based Adaptation
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
Sandeep S. Kulkarni, Karun N. Biyani
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 3 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
GECCO
2004
Springer
142views Optimization» more  GECCO 2004»
16 years 3 days ago
Improving MACS Thanks to a Comparison with 2TBNs
Abstract. Factored Markov Decision Processes is the theoretical framework underlying multi-step Learning Classifier Systems research. This framework is mostly used in the context ...
Olivier Sigaud, Thierry Gourdin, Pierre-Henri Wuil...
IFIP
2004
Springer
16 years 2 days ago
ATV: An Efficient Method for Constructing a Certification Path
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
Omar Batarfi
IFIP
2004
Springer
16 years 2 days ago
The MOMIS methodology for integrating heterogeneous data sources
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
Domenico Beneventano, Sonia Bergamaschi