Sciweavers

1426 search results - page 171 / 286
» Specification of nonmonotonic reasoning
Sort
View
LWA
2008
14 years 11 months ago
Learning to Cope with Critical Situations - An Agent based Approach
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...
Régis Newo, Klaus-Dieter Althoff
MKWI
2008
145views Business» more  MKWI 2008»
14 years 11 months ago
Bringing Developers and Users Closer Together: The OpenProposal Story
: Even though end-user participation in requirements engineering (RE) is highly important, it is at present not frequently used. Reasons can be found in the large expenditure of ti...
Asarnusch Rashid, Jan Wiesenberger, David Meder, J...
OWLED
2008
14 years 11 months ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...
SNPD
2008
14 years 11 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
SWAP
2008
14 years 11 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...