391 search results - page 59 / 79 » On Time-Aware Instrumentation of Programs |
87
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
109
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
125
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
85
Voted
ISI
2007
Springer
15 years 8 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
125
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...