Sciweavers

452 search results - page 36 / 91
» Product Distribution Theory for Control of Multi-Agent Syste...
Sort
View
TII
2008
88views more  TII 2008»
13 years 7 months ago
Performing Flexible Control on Low-Cost Microcontrollers Using a Minimal Real-Time Kernel
In recent years, approaches to control performance and resource optimization for embedded control systems have been receiving increased attention. Most of them focus on theory, whe...
Ricardo Marau, Pedro Leite, Manel Velasco, Pau Mar...
CSCLP
2006
Springer
13 years 11 months ago
Cost-Based Filtering for Stochastic Inventory Control
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven...
ICFP
2003
ACM
14 years 7 months ago
A static type system for JVM access control
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
Tomoyuki Higuchi, Atsushi Ohori
ATAL
2009
Springer
14 years 2 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
CONCUR
2003
Springer
14 years 28 days ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler