640 search results - page 42 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
JPDC
2006
13 years 7 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
WIOPT
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...