700 search results - page 88 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
112
click to vote
RE
2004
Springer
15 years 7 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
103
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
132
click to vote
CAEPIA
2003
Springer
15 years 6 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
155
Voted
MM
2010
ACM
15 years 1 months ago
2010
ACM
In this technical demonstration we show an integrated web system for video search and annotation based on ontologies. The system is composed by three components: the Orione1 ontol...
107
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...