4385 search results - page 172 / 877 » Abstraction for Concurrent Objects |
AGP
1995
IEEE
15 years 2 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
SFP
2001
15 years 20 days ago
2001
We describe the design and implementation of a Standard ML of New Jersey library for the interactive pretty-printing of possibly infinite syntax trees. The library handles elision ...
107
click to vote
BIRTHDAY
2008
Springer
15 years 12 days ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
ISI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. With such data, it becomes possible to...
ACISP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...