1521 search results - page 42 / 305 » On Sampled Semantics of Timed Systems |
AUTOMATICA
2004
13 years 10 months ago
2004
A new approach to robust sampled-data control is introduced. The system is modelled as a continuous-time one, where the control input has a piecewise-continuous delay. Su cient li...
ECOOP
2006
Springer
14 years 2 months ago
2006
Springer
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
EUROGP
2008
Springer
14 years 20 days ago
2008
Springer
We present N-gram GP, an estimation of distribution algorithm for the evolution of linear computer programs. The algorithm learns and samples the joint probability distribution of...
SEMWEB
2005
Springer
14 years 4 months ago
2005
Springer
Discovery of semantic associations in Semantic Web ontologies is an important task in various analytical activities. Several query languages and storage systems have been designed ...