Sciweavers

1561 search results - page 72 / 313
» Mobile Process Support Systems - Experiences from a case stu...
Sort
View
LICS
2000
IEEE
14 years 1 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
CIKM
2004
Springer
14 years 2 months ago
Processing search queries in a distributed environment
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
Frederick Knabe, Daniel Tunkelang
DESRIST
2010
Springer
169views Education» more  DESRIST 2010»
13 years 11 months ago
Designing for Light-Weight Collaboration: The Case of Interactive Citizens' Advisory Services
This paper reports on the design of a collaborative system to support citizens' advisory services. Recent research on the adoption of collaborative technologies indicates that...
Gerhard Schwabe, Claudia Bretscher, Birgit Schenk
ACMDIS
2000
ACM
14 years 1 months ago
Using a Technique from Graphic Designers to Develop Innovative System Designs
Rapid technological change requires that system designers explore potential design spaces widely before committing to a local design space in which to evolve a problem solution. W...
Catalina Danis, Stephen J. Boies
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
14 years 3 months ago
Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
Wen-Yu Liu, Kwoting Fang