851 search results - page 106 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
AGENTS
2000
Springer
14 years 3 months ago
2000
Springer
Numerous agencies and agent systems are being developed or portrayed as vehicles to deliver novel types of e-commerce services to users. However service agents in one agency are p...
CHI
2006
ACM
14 years 11 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
TROB
2002
13 years 10 months ago
2002
Abstract-- The problem addressed is the distributed reconfiguration of a metamorphic robotic system composed of an arbitrary number of two dimensional hexagonal robots (modules) fr...
EMSOFT
2008
Springer
14 years 23 days ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
SIGOPS
2010
13 years 9 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...