Sciweavers

405 search results - page 12 / 81
» Open Systems Formal Evaluation Process
Sort
View
131
Voted
EUROSYS
2007
ACM
16 years 25 days ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
130
Voted
ECAI
2006
Springer
15 years 7 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles
136
Voted
EICS
2009
ACM
15 years 10 months ago
User evaluation of OIDE: a rapid prototyping platform for multimodal interaction
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
Marilyn Rose McGee-Lennon, Andrew Ramsay, David K....
128
Voted
WWW
2009
ACM
16 years 4 months ago
OpenRuleBench: an analysis of the performance of rule engines
The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since severa...
Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
ICDE
2007
IEEE
114views Database» more  ICDE 2007»
16 years 5 months ago
Reverse Query Processing
Traditionally, query processing gets a query and a database instance as input and returns the result of the query for that particular database instance. Reverse query processing (...
Carsten Binnig, Donald Kossmann, Eric Lo