321 search results - page 43 / 65 » Writing sequences on the plane |
121
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
131
click to vote
PAKDD
2009
ACM
16 years 28 days ago
2009
ACM
The lack of standards for Romanization of Thai proper names makes searching activity a challenging task. This is particularly important when searching for people-related documents ...
158
click to vote
INFOCOM
2009
IEEE
16 years 25 days ago
2009
IEEE
—This paper studies the problem of allocating network capacity through periodic auctions. Motivated primarily by a service overlay architecture, we impose the following condition...
173
click to vote
PROVSEC
2007
Springer
16 years 8 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
154
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...