Sciweavers

5314 search results - page 273 / 1063
» Hybrid Dynamic Programming
Sort
View
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 10 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
ACMIDC
2010
15 years 6 months ago
Make a Riddle and TeleStory: designing children's applications for the siftables platform
We present the design of Make a Riddle and TeleStory, educational applications developed on the Siftables platform for children aged 4-7 years. Siftables are hybrid tangible-g...
Seth Hunter, Jeevan J. Kalanithi, David Merrill
SOFTCOMP
2010
15 years 4 months ago
Approaching Real-Time Intrusion Detection through MOVICAB-IDS
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
Martí Navarro, Álvaro Herrero, Emili...
FORMATS
2010
Springer
15 years 4 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
CCGRID
2006
IEEE
16 years 18 days ago
How the JSDL can Exploit the Parallelism?
The description of the jobs is a very important issue for the scheduling and management of Grid jobs. Since there are a lot of different languages for describing Grid jobs, the GG...
Ivan Rodero, Francesc Guim, Julita Corbalán...