3061 search results - page 499 / 613 » integration 2006 |
EMSOFT
2006
Springer
14 years 24 days ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
ER
2006
Springer
14 years 24 days ago
2006
Springer
The analysis of investment funds information requires the availability of homogeneous, both up-to-date and historical information of the funds considered, which is usually generate...
ESOP
2006
Springer
14 years 24 days ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
ESORICS
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
ESORICS
2006
Springer
14 years 24 days ago
2006
Springer
A user who wants to use a service forbidden by their site's usage policy can masquerade their packets in order to evade detection. One masquerade technique sends prohibited tr...