996 search results - page 55 / 200 » A Compositional Model for Software Reuse |
125
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
113
Voted
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
158
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
133
Voted
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
164
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...