4328 search results - page 416 / 866 » A New Kind of Science |
185
click to vote
SAC
2004
ACM
16 years 13 days ago
2004
ACM
Next generation mobile devices will allow users to share and pass information within anonymous groups of people in an ad hoc manner. This will smooth the path for many kinds of ne...
186
click to vote
ADBIS
2004
Springer
16 years 12 days ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
201
click to vote
GPCE
2004
Springer
16 years 12 days ago
2004
Springer
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
186
click to vote
ICFEM
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
184
click to vote
ICICS
2004
Springer
16 years 11 days ago
2004
Springer
Fail-stop signature (FSS) schemes are important primitives because in a fail-stop signature scheme the signer is protected against unlimited powerful adversaries as follows: Even i...