5128 search results - page 390 / 1026 » When Abstraction Fails |
223
click to vote
PERVASIVE
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...
219
click to vote
TCC
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
201
click to vote
TPHOL
2003
IEEE
16 years 27 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
222
click to vote
SAC
2003
ACM
16 years 26 days ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...
211
click to vote
ECOOP
2010
Springer
16 years 13 days ago
2010
Springer
The paper introduces Self-Replicating Objects (SROs), a new nt programming abstraction. An SRO is implemented and used much like an ordinary .NET object and can expose arbitrary us...