878 search results - page 162 / 176 » Concepts and their Use for Modelling Objects and References ... |
B
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
ICMT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
ODRL
2004
13 years 9 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
REX
1991
13 years 12 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...