Sciweavers

408 search results - page 82 / 82
» Reasoning with Very Expressive Fuzzy Description Logics
Sort
View
ICSEA
2009
IEEE
15 years 4 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»
15 years 2 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,...
108
Voted
JIDM
2010
160views more  JIDM 2010»
14 years 7 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