2813 search results - page 38 / 563 » Formalizing Architectural Connection |
DAC
1997
ACM
14 years 1 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
FORTE
2007
13 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
EKAW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
ECMDAFA
2005
Springer
14 years 3 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...