796 search results - page 117 / 160 » A Formalization of ODMG Queries |
138
click to vote
MODELS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
165
click to vote
OTM
2007
Springer
16 years 3 days ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
159
click to vote
WISE
2005
Springer
15 years 11 months ago
2005
Springer
Many databases have become Web-accessible through form-based search interfaces (i.e., search forms) that allow users to specify complex and precise queries to access the underlying...
147
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
147
click to vote
ISMIR
2001
Springer
15 years 10 months ago
2001
Springer
The problem of Music Information Retrieval can often be formalized as “searching for multidimensional trajectories”. It is well known that string-matching techniques provide r...