18429 search results - page 3314 / 3686 » Typing dynamic typing |
198
click to vote
PODC
2006
ACM
16 years 24 days ago
2006
ACM
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...
180
click to vote
PPPJ
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
191
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
205
Voted
SAC
2006
ACM
16 years 24 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
218
click to vote
SACMAT
2006
ACM
16 years 24 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...