1054 search results - page 82 / 211 » Translation Validation of System Abstractions |
200
click to vote
MEMOCODE
2008
IEEE
16 years 18 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
135
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider the problem of distributed estimation of the poses of N cameras in a camera sensor network using image measurements only. The relative rotation and translation (up ...
160
click to vote
AAAI
2007
15 years 8 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
182
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...