2546 search results - page 254 / 510 » In support of city exploration |
181
click to vote
POLICY
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a framework for representing and distributing access control policies in distributed heterogeneous systems. Access control polices follows the RBAC (Role Based...
158
click to vote
SPIN
2005
Springer
16 years 2 days ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
174
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
167
click to vote
WEBI
2005
Springer
16 years 2 days ago
2005
Springer
We profile a system for search and analysis of largescale email archives. The system builds around four facets: Content-based search engine, statistical topic model, automaticall...
170
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...