9067 search results - page 797 / 1814 » Adaptive Model Checking |
179
click to vote
ACSD
2003
IEEE
16 years 28 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
201
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
We address the texture level-of-detail problem for extremely large surfaces such as terrain during realtime, view-dependent rendering. A novel texture hierarchy is introduced base...
312
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...
195
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
Tiny embedded systems have not been an ideal outfit for high performance computing due to their constrained resources. Limitations in processing power, battery life, communication ...
233
click to vote
ACMICEC
2006
ACM
16 years 1 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...