488 search results - page 93 / 98 » Derivation of Java Monitors |
110
click to vote
POPL
2000
ACM
15 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
EXPCS
2007
15 years 1 months ago
2007
To date, the measurement of user-perceived degradation of quality of service during denial of service (DoS) attacks remained an elusive goal. Current approaches mostly rely on low...
DRM
2006
Springer
15 years 1 months ago
2006
Springer
In high-tech businesses ranging from Internet service providers to e-commerce websites and music stores like Apple iTunes, there is considerable potential for collecting personal ...
68
Voted
CASES
2009
ACM
15 years 23 days ago
2009
ACM
Reducing feature sizes and power supply voltage allows integrating more processing units (PUs) on multiprocessor system-on-chip (MPSoC) to satisfy the increasing demands of applic...
EDBT
2009
ACM
15 years 21 days ago
2009
ACM
In emerging applications such as location-based services, sensor monitoring and biological management systems, the values of the database items are naturally imprecise. For these ...