Sciweavers

1645 search results - page 120 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
WEBNET
1996
13 years 9 months ago
Modelling alter egos in cyberspace: Who is responsible?
Abstract: Alter Egos represent people in Cyberspace. An Alter Ego is a kind of intelligent agent who is active in performing actions in behalf of the person it represents. How thes...
Reind P. van de Riet, J. F. M. Burg
AIME
2009
Springer
14 years 2 months ago
Towards the Merging of Multiple Clinical Protocols and Guidelines via Ontology-Driven Modeling
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
Samina Raza Abidi, Syed Sibte Raza Abidi
CAV
2009
Springer
165views Hardware» more  CAV 2009»
14 years 8 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
EKAW
2004
Springer
14 years 1 months ago
A Topic-Based Browser for Large Online Resources
The exploration of large information spaces is a difficult task, especially if the user is not familiar with the terminology used to describe information. Conceptual models of a do...
Heiner Stuckenschmidt, Anita de Waard, Ravinder Bh...
SEKE
1995
Springer
13 years 11 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis