9532 search results - page 1506 / 1907 » Logic, Graphs, and Algorithms |
172
click to vote
AUSAI
2005
Springer
16 years 9 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
159
click to vote
PODC
2004
ACM
16 years 8 days ago
2004
ACM
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...
194
click to vote
SACMAT
2004
ACM
16 years 8 days ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
171
click to vote
SIGCSE
2004
ACM
16 years 8 days ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
157
Voted
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...