Sciweavers

4966 search results - page 174 / 994
» its 2010
Sort
View
CDC
2010
IEEE
109views Control Systems» more  CDC 2010»
15 years 1 months ago
On-line optimal timing control of switched systems
This paper considers a real-time algorithm for performance optimization of switched-mode hybrid dynamical systems. The controlled parameter consists of the switching times between ...
Yorai Wardi, Philip Twu, Magnus Egerstedt
CIKM
2010
Springer
15 years 1 months ago
On the definition of patterns for semantic annotation
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
Mónica Marrero, Julián Urbano, Jorge...
IFIP
2010
Springer
15 years 1 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
IFIP
2010
Springer
15 years 1 months ago
Rialto 2.0: A Language for Heterogeneous Computations
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
Johan Lilius, Andreas Dahlin, Lionel Morel
IFIP
2010
Springer
15 years 1 months ago
Autonomic Approach to Planning and Scheduling in Networked Small Factories
The paper considers the complex behavior of a small company in a business ecosystem, time by time leader or supplier or both in one or more supply chains, and points out the data e...
Flavio Bonfatti, Luca Martinelli, Paola Daniela Mo...