4520 search results - page 769 / 904 » Algebraic Techniques for Timed Systems |
169
click to vote
HIPEAC
2007
Springer
16 years 19 days ago
2007
Springer
A critical component in the design of secure processors is memory encryption which provides protection for the privacy of code and data stored in off-chip memory. The overhead of ...
172
click to vote
IJCNN
2006
IEEE
16 years 15 days ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
197
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
181
click to vote
IQIS
2005
ACM
16 years 1 days ago
2005
ACM
Researchers in the data mining area frequently have to spend significant portion of their time on preprocessing the data in order to apply their algorithms to real-world datasets...
196
click to vote
ER
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...