Sciweavers

5470 search results - page 66 / 1094
» Distributed Control Lab
Sort
View
CSL
2005
Springer
15 years 8 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
122
Voted
AICCSA
2008
IEEE
222views Hardware» more  AICCSA 2008»
15 years 4 months ago
Managing access and flow control requirements in distributed workflows
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
Samiha Ayed, Nora Cuppens-Boulahia, Fréd&ea...
147
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
FDAC: Toward Fine-Grained Distributed Data Access Control in Wireless Sensor Networks
—Distributed sensor data storage and retrieval has gained increasing popularity in recent years for supporting various applications. While distributed architecture enjoys a more ...
Shucheng Yu, Kui Ren, Wenjing Lou
TSMC
2011
260views more  TSMC 2011»
14 years 9 months ago
Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control
This paper presents new approach to power system automation, based on distributed intelligence rather than traditional centralised control. The paper investigates the interplay bet...
Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nai...
TGC
2007
Springer
15 years 8 months ago
Access Control Based on Code Identity for Open Distributed Systems
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
Andrew Cirillo, James Riely