5630 search results - page 161 / 1126 » Computability in Specification |
123
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
This paper reports our experience with representing and reasoning with context information within the CARE middleware. CARE was developed to support context-aware service adaptati...
126
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...
133
click to vote
CONCUR
2006
Springer
15 years 8 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...
129
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
140
click to vote
PODC
1996
ACM
15 years 8 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...