Sciweavers

9272 search results - page 1334 / 1855
» Process Management Agent
Sort
View
JFP
2010
142views more  JFP 2010»
15 years 5 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
WS
2010
ACM
15 years 5 months ago
Anomalies in ontologies with rules
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...
Joachim Baumeister, Dietmar Seipel
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 5 months ago
Using logic to handle conflicts between system, component, and infrastructure goals in complex robotic architectures
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
Paul W. Schermerhorn, Matthias Scheutz
PDPTA
2010
15 years 5 months ago
Morphing Parallelization Strategy to Support On-the-Fly Video Analysis
To automate and accelerate Internet video search, we propose a parallelized on-the-fly video analysis that is distinguished from the conventional approaches in the following two f...
Munehiro Fukuda, Shuichi Kurabayashi, Jeremy K. Ha...
SIGSOFT
2010
ACM
15 years 5 months ago
Supporting human-intensive systems
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
Lori A. Clarke, Leon J. Osterweil, George S. Avrun...
« Prev « First page 1334 / 1855 Last » Next »