Sciweavers

1860 search results - page 228 / 372
» An Internet Based Development Framework for Reconfigurable C...
Sort
View
HICSS
2002
IEEE
103views Biometrics» more  HICSS 2002»
14 years 1 months ago
Understanding and Selecting Knowledge Management Systems for a Health Information Provider
In the current market there is a proliferation of knowledge management software solutions. The aim of this paper is to discuss issues concerned in selecting such a system to suppo...
Gabby Fennessy
AMAI
2008
Springer
13 years 9 months ago
Stable models and difference logic
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
Ilkka Niemelä
ESWS
2009
Springer
14 years 3 months ago
MoKi: The Enterprise Modelling Wiki
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
Chiara Ghidini, Barbara Kump, Stefanie N. Lindstae...
VRML
1999
ACM
14 years 1 months ago
Staging the Space of Mixed Reality - Reconsidering the Concept of a Multi User Environment
This paper presents our work and research findings on developing the concept of a multi-user shared environment for culture, performance, art and entertainment. It introduces arti...
Wolfgang Strauss, Monika Fleischmann, Mette Thomse...
CSL
1992
Springer
14 years 1 months ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig