9067 search results - page 1633 / 1814 » Adaptive Model Checking |
176
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
202
Voted
IAT
2005
IEEE
16 years 15 days ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
202
click to vote
ICDE
2005
IEEE
16 years 14 days ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...
190
click to vote
ICDM
2005
IEEE
16 years 14 days ago
2005
IEEE
Online auction Web sites are fast changing, highly dynamic, and complex as they involve tremendous sellers and potential buyers, as well as a huge amount of items listed for biddi...
213
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...