2963 search results - page 521 / 593 » On the Integration of Web Modeling Languages |
150
click to vote
PVLDB
2010
15 years 2 months ago
2010
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
139
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
247
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
138
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
145
Voted
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
Patterns, which are based on in-depth practical experience, can be instructing for the design of groupware applications as sociotechnical systems. On the basis of a summary of the...