Sciweavers

5339 search results - page 24 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
COORDINATION
2006
Springer
14 years 11 days ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
14 years 3 months ago
A repetitive process approach to the control of self-servowriting in disk drives
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
Krzysztof Galkowski, Wojciech Paszke, Eric Rogers
ESSMAC
2003
Springer
14 years 1 months ago
Self-tuning Control of Non-linear Systems Using Gaussian Process Prior Models
Gaussian Process prior models, as used in Bayesian non-parametric statistical models methodology are applied to implement a nonlinear adaptive control law. The expected value of a...
Daniel Sbarbaro, Roderick Murray-Smith
IJES
2008
130views more  IJES 2008»
13 years 8 months ago
Deriving efficient control in Process Networks with Compaan/Laura
: At Leiden Embedded Research Center (LERC), we are building a tool chain called Compaan/Laura that allows us to map rapidly and efficiently signal processing applications written ...
Steven Derrien, Alexandru Turjan, Claudiu Zissules...
EMISA
2009
Springer
14 years 3 months ago
Access Control for Monitoring System-Spanning Business Processes in Proviado
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...
Sarita Bassil, Manfred Reichert, Ralph Bobrik