1153 search results - page 8 / 231 » Compositional Specification Calculus for Information Systems... |
143
Voted
SAC
2005
ACM
15 years 9 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
159
Voted
ASE
2005
15 years 3 months ago
2005
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
156
Voted
WISE
2006
Springer
15 years 9 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
114
Voted
FBT
1998
15 years 5 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
126
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...