12981 search results - page 526 / 2597 » Model Checking (Abstract) |
134
click to vote
IJBC
2010
15 years 3 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
148
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- Despite the best intentions of disk and RAID manufacturers, on-disk data can still become corrupted. In this paper, we examine the effects of corruption on database mana...
155
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
150
click to vote
AOSD
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
169
click to vote
NETGAMES
2003
ACM
15 years 11 months ago
2003
ACM
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...