Sciweavers

1297 search results - page 182 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
RAS
2007
150views more  RAS 2007»
15 years 27 days ago
Evolution of fuzzy behaviors for multi-robotic system
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
Prahlad Vadakkepat, Xiao Peng, Boon Kiat Quek, Ton...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 6 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
14 years 8 months ago
A projection framework for near-potential games
Potential games are a special class of games that admit tractable static and dynamic analysis. Intuitively, games that are "close" to a potential game should enjoy somewh...
Ozan Candogan, Asuman E. Ozdaglar, Pablo A. Parril...
ENTCS
2006
135views more  ENTCS 2006»
15 years 1 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
SIGMOD
2010
ACM
227views Database» more  SIGMOD 2010»
15 years 6 months ago
SecureBlox: customizable secure distributed data processing
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
William R. Marczak, Shan Shan Huang, Martin Braven...