4385 search results - page 111 / 877 » Abstraction for Concurrent Objects |
146
click to vote
IFM
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
168
click to vote
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by referenc...
142
click to vote
IFM
2000
Springer
15 years 9 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
191
click to vote
DBSEC
1996
15 years 7 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
130
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...