Sciweavers

2918 search results - page 324 / 584
» Distributed Troubleshooting Agents
Sort
View
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 26 days ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
EUSAI
2007
Springer
16 years 23 days ago
Distributed AI for Ambient Intelligence: Issues and Approaches
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
Theodore Patkos, Antonis Bikakis, Grigoris Antonio...
CIMCA
2005
IEEE
16 years 7 days ago
A Hybrid Estimation of Distribution Algorithm for the Minimal Switching Graph Problem
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...
Maolin Tang, Raymond Y. K. Lau
FC
2005
Springer
83views Cryptology» more  FC 2005»
16 years 4 days ago
Secure Distributed Human Computation
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
Craig Gentry, Zulfikar Ramzan, Stuart G. Stubblebi...
IDEAL
2004
Springer
15 years 12 months ago
Visualisation of Distributions and Clusters Using ViSOMs on Gene Expression Data
Microarray datasets are often too large to visualise due to the high dimensionality. The self-organising map has been found useful to analyse massive complex datasets. It can be us...
Swapna Sarvesvaran, Hujun Yin