1113 search results - page 198 / 223 » Automated Approaches for Classifying Structures |
122
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
110
click to vote
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
125
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
109
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
140
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...