4647 search results - page 542 / 930 » Composite Design Patterns |
137
Voted
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
129
click to vote
PROFES
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a family-based software development process for aero-engine control software. The process uses a “family capability” derived from family analysis of the emb...
143
Voted
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
131
Voted
UIST
2000
ACM
15 years 9 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
128
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...