Sciweavers

419 search results - page 67 / 84
» A Control-Theoretic Approach to Flow Control
Sort
View
ESORICS
2009
Springer
15 years 3 months ago
Declassification with Explicit Reference Points
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
Alexander Lux, Heiko Mantel
CDC
2008
IEEE
166views Control Systems» more  CDC 2008»
15 years 1 months ago
Distributed coverage verification in sensor networks without location information
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
Alireza Tahbaz-Salehi, Ali Jadbabaie
113
Voted
CORR
2008
Springer
129views Education» more  CORR 2008»
14 years 11 months ago
Multi Site Coordination using a Multi-Agent System
A new approach of coordination of decisions in a multi site system is proposed. It is based this approach on a multi-agent concept and on the principle of distributed network of e...
Thibaud Monteiro, Daniel Roy, Didier Anciaux
85
Voted
IWPC
2007
IEEE
15 years 6 months ago
Recovering Workflows from Multi Tiered E-commerce Systems
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
Maokeng Hung, Ying Zou
ICSOC
2004
Springer
15 years 5 months ago
Hybrid web service composition: business processes meet business rules
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
Anis Charfi, Mira Mezini