13140 search results - page 98 / 2628 » Coupling Component Systems towards Systems of Systems |
ENTCS
2006
14 years 10 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
JUCS
2008
14 years 9 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
142
click to vote
CBSE
2011
Springer
13 years 9 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
EMISA
2002
Springer
14 years 9 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
ICSE
2010
IEEE-ACM
14 years 12 months ago
2010
IEEE-ACM
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...