Sciweavers

2465 search results - page 43 / 493
» Distributed knowledge
Sort
View
IJMMS
2006
90views more  IJMMS 2006»
13 years 7 months ago
Evaluating mass knowledge acquisition using the ALICE chatterbot: The AZ-ALICE dialog system
In this paper, we evaluate mass knowledge acquisition using modified ALICE chatterbots. In particular we investigate the potential of allowing subjects to modify chatterbot respon...
Robert P. Schumaker, Ying Liu, Mark Ginsburg, Hsin...
CAV
2010
Springer
185views Hardware» more  CAV 2010»
13 years 7 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
HPCN
2000
Springer
13 years 11 months ago
A Service-Based Agent Framework for Distributed Symbolic Computation
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
HICSS
2008
IEEE
170views Biometrics» more  HICSS 2008»
14 years 2 months ago
A Collaborative Dimensions Framework: Understanding the Mediating Role of Conceptual Visualizations in Collaborative Knowledge W
Facilitating collaborative knowledge work is a crucial issue in management: knowledge is a key corporate asset, but it is typically spread across various people in different organ...
Sabrina Bresciani, Alan F. Blackwell, Martin J. Ep...
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
14 years 4 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper