3218 search results - page 367 / 644 » Timed Extensions for SDL |
201
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has ...
167
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
We present SNAP (Small-world Network Analysis and Partitioning), an open-source graph framework for exploratory study and partitioning of large-scale networks. To illustrate the c...
153
click to vote
NDSS
2007
IEEE
16 years 25 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
195
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
159
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...