Sciweavers

139 search results - page 10 / 28
» Towards a Semantic Contact Management
Sort
View
GEOS
2009
Springer
14 years 2 days ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler
ESWS
2007
Springer
14 years 1 months ago
Semantic Business Process Repository
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn...
POPL
2010
ACM
14 years 4 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 7 months ago
Building Scenarios for Environmental Management and Planning: An IT-Based Approach
Oftentimes, the need to build multidiscipline knowledge bases, oriented to policy scenarios, entails the involvement of stakeholders in manifold domains, with a juxtaposition of d...
Dino Borri, Domenico Camarda
INTR
2007
152views more  INTR 2007»
13 years 7 months ago
Approaches for personalised knowledge retrieval
This paper proposes a hybrid approach for managing knowledge within companies based on communication between people. In addition to traditional Knowledge Management Systems our co...
Robert Loew, Katrin Kuemmel, Judith Ruprecht, Udo ...