3819 search results - page 356 / 764 » Simple Easy Terms |
129
click to vote
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
191
click to vote
MIR
2006
ACM
16 years 25 days ago
2006
ACM
There is a growing need to access historical Ottoman documents stored in large archives and therefore managing tools for automatic searching, indexing and transcription of these d...
168
click to vote
SIGCOMM
2006
ACM
16 years 25 days ago
2006
ACM
This paper revisits a much explored topic in networking – the search for a simple yet fully-general multicast design. The many years of research into multicast routing have led ...
162
Voted
CEC
2005
IEEE
16 years 15 days ago
2005
IEEE
In case the objective function to be minimized is not known analytically and no assumption can be made about the single extremum, global optimization (GO) methods must be used. Pap...
160
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...