640 search results - page 111 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
BIBE
2008
IEEE
14 years 2 months ago
2008
IEEE
— Recent studies in the field of molecular imaging have demonstrated the need for PET probes capable of imaging very weak activity distributions. Over this range of applications ...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
In highly power constrained sensor networks, harvesting energy from the environment makes prolonged or even perpetual execution feasible. In such energy harvesting systems, energy...
WSC
1998
13 years 8 months ago
1998
Customer interfacing is the process through which one works with and relates to their customer. Often in the technical world, modelers find it easier to interface with computers r...
ISCC
2007
IEEE
14 years 1 months ago
2007
IEEE
—The accuracy of network coordinate (NC) which is comprehensively applied is suffering seriously from Triangle Inequality Violations (TIVs). A novel approach - Embeddable Overlay...