Sciweavers

2226 search results - page 79 / 446
» Pdk: The System and Its Language
Sort
View
COOPIS
2003
IEEE
15 years 11 months ago
A Distributed Rule Mechanism for Multidatabase Systems
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
Vasiliki Kantere, John Mylopoulos, Iluju Kiringa
ATAL
2000
Springer
15 years 10 months ago
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
Steven Shapiro, Yves Lespérance
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
WISE
2009
Springer
16 years 3 months ago
Security Policy Definition Framework for SOA-Based Systems
This paper presents an extended architecture of a policy definition framework fine-tuned for service-oriented environments conforming to the SOA distributed processing paradigm. We...
Bartosz Brodecki, Piotr Sasak, Michal Szychowiak
ECOOP
2008
Springer
15 years 8 months ago
Exploring Role Based Adaptation
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
Sebastian Goetz, Ilie Savga