4385 search results - page 381 / 877 » Abstraction for Concurrent Objects |
202
click to vote
CVRMED
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We have developped a physically-based model where an object is represented by a set of mass points on its contour. Each object may be defined locally and physically usin...
251
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
138
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
197
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents the Authorization Service provided by Tivoli Policy Director (PD) and its use by PD family members as well as third-party applications. Policies are defined ov...
182
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents the performance evaluation of five memory allocation strategies for the PerDiS Persistent Distributed Object store in the context of allocating two di...