2399 search results - page 34 / 480 » Knowledge Management and the Design of Distributed Cognition... |
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Research has demonstrated how successful coordination can lead to greater organizational performance. In information technology (IT) projectbased environments, coordinating the kn...
AAAI
2006
13 years 10 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
Supporting Web-based services through geographical distributed clusters of servers is a common solution to the increasing volume and variability of modern traffic. These architec...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...