Sciweavers

2171 search results - page 78 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
SOSP
2003
ACM
15 years 10 months ago
Capriccio: scalable threads for internet services
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
J. Robert von Behren, Jeremy Condit, Feng Zhou, Ge...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 7 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
HPDC
2002
IEEE
15 years 6 months ago
A Secure Distributed Search System
This paper presents the design, implementationand evaluation of Mingle, a secure distributed search system. Each participatinghost runs a Mingle server, which maintains an inverte...
Yinglian Xie, David R. O'Hallaron, Michael K. Reit...
WICSA
2004
15 years 3 months ago
PACE: An Architectural Style for Trust Management in Decentralized Applications
Distributed applications that lack a central, trustworthy authority for control and validation are properly termed decentralized. Multiple, independent agencies, or "partners...
Girish Suryanarayana, Justin R. Erenkrantz, Scott ...
CDC
2009
IEEE
154views Control Systems» more  CDC 2009»
15 years 6 months ago
On the optimal design of structured feedback gains for interconnected systems
— We consider the design of optimal static feedback gains for interconnected systems subject to architectural constraints on the distributed controller. These constraints are in ...
Makan Fardad, Fu Lin, Mihailo R. Jovanovic