Sciweavers

408 search results - page 82 / 82
» Reasoning with Very Expressive Fuzzy Description Logics
Sort
View
ICSEA
2009
IEEE
13 years 11 months ago
Ontology Driven E-Government
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
Peter Salhofer, Bernd Stadlhofer, Gerald Tretter
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
13 years 10 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
JIDM
2010
160views more  JIDM 2010»
13 years 3 months ago
Evaluation of Conditional Preference Queries
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
Fabiola S. F. Pereira, Sandra de Amo