3378 search results - page 137 / 676 » A universe of binding and computation |
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
103
click to vote
LICS
2010
IEEE
14 years 8 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...
121
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Establishing visual correspondences is an essential component
of many computer vision problems, and is often done
with robust, local feature-descriptors. Transmission and
storag...
ISR
2011
14 years 26 days ago
2011
e from http://ssrn.com/abstract=980726 Acknowledgements: The authors thank Ramayya Krishnan, Marshall Van Alstyne, Senior Editor Sanjeev Dewan, the associate editor and referees fo...
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
We evaluate selected research proposals towards the efficient real-time QoS management over wireless links. We mainly focus on real-time performance of link- and transport-level m...