47 search results - page 2 / 10 » Automatic Synthesis of a Global Behavior from Multiple Distr... |
DAGSTUHL
2003
13 years 7 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
NSDI
2008
13 years 7 months ago
2008
Understanding the spammer behavior is a critical step in the long-lasting battle against email spams. Previous studies have focused on setting up honeypots or email sinkholes cont...
AGENTS
2000
Springer
13 years 10 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
NEUROSCIENCE
2001
Springer
13 years 10 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...