76 search results - page 10 / 16 » Monitoring temporal SystemC properties |
SP
2010
IEEE
13 years 5 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...
IGARSS
2009
13 years 5 months ago
2009
In the last three decades, significant advances have been made in mapping and monitoring environmental changes from Earth Observation satellites across a range of spatial and temp...
EWMF
2003
Springer
14 years 21 days ago
2003
Springer
Abstract With the ongoing shift from off-line to on-line business processes, the Web has become an important business platform, and for most companies it is crucial to have an on-...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
The increased use of botnets as an attack tool and the awareness attackers have of blocking lists leads to the question of whether we can effectively predict future bot locations...