626 search results - page 51 / 126 » Correct Composition of Design Components |
ENTCS
2010
15 years 3 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
127
click to vote
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
114
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
131
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
104
click to vote
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...