1670 search results - page 253 / 334 » On Skolemization in constructive theories |
183
click to vote
MOBICOM
2003
ACM
15 years 11 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
160
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC�...
165
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
179
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
183
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...