700 search results - page 9 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
108
click to vote
IUI
2006
ACM
15 years 3 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
TOOLS
1998
IEEE
15 years 2 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
APWEB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...