Sciweavers

1554 search results - page 222 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
14 years 2 months ago
A proximal center-based decomposition method for multi-agent convex optimization
— In this paper we develop a new dual decomposition method for optimizing a sum of convex objective functions corresponding to multiple agents but with coupled constraints. In ou...
Ion Necoara, Johan A. K. Suykens
DEON
2008
Springer
13 years 9 months ago
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
Nora Cuppens-Boulahia, Frédéric Cupp...
BMCBI
2007
186views more  BMCBI 2007»
13 years 8 months ago
GeneBins: a database for classifying gene expression data, with application to plant genome arrays
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
Nicolas Goffard, Georg Weiller
ASYNC
2001
IEEE
164views Hardware» more  ASYNC 2001»
13 years 11 months ago
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
Alexandre Yakovlev, Fei Xia, Delong Shang
FORTE
2004
13 years 9 months ago
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...