4520 search results - page 529 / 904 » Algebraic Techniques for Timed Systems |
207
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
207
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
ABSTRACT Because of technology advances power consumption has emerged up as an important design issue in modern high-performance microprocessors. As a consequence, research on redu...
187
click to vote
CAV
1992
Springer
15 years 11 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
184
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...
184
click to vote
CAISE
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Future database application systems will be designed as Service Oriented Architectures (SOAs), in contrast to today’s monolithic architectures. The decomposition in man...