357 search results - page 47 / 72 » Isomorphism via translation |
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
162
click to vote
JMS
2006
15 years 6 months ago
2006
Healthcare informatics research is a scientific endeavor that applies information science, computer technology, and statistical modeling techniques to develop decision support syst...
190
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
166
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...
167
click to vote
IJCSS
2007
15 years 6 months ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...