14403 search results - page 2485 / 2881 » Dynamical Systems Trees |
172
click to vote
ESWS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
166
click to vote
HIPEAC
2007
Springer
16 years 29 days ago
2007
Springer
The XScale processor family provides user-controllable independent configuration of CPU, bus, and memory frequencies. This feature introduces another handle for the code optimizat...
181
click to vote
INFOCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— The recent surge of new viruses and host attacks in the Internet and the tremendous propagation speed of selfdistributing attacks has made network security a pressing issue. To...
167
click to vote
NDSS
2006
IEEE
16 years 25 days ago
2006
IEEE
For many applications—including recognizing malware variants, determining the range of system versions vulnerable to a given attack, testing defense mechanisms, and filtering m...
181
click to vote
APLAS
2006
ACM
16 years 24 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...