1528 search results - page 192 / 306 » Implementing Generalized Operator Overloading |
152
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Research on organization of Multi-Agent Systems (M.A.S.) has shown that by adapting its organization, a M.A.S. is better able to operate in dynamic environments. In this paper we ...
131
Voted
CCS
2007
ACM
15 years 11 months ago
2007
ACM
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper ...
133
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...
159
click to vote
LFCS
2007
Springer
15 years 11 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
168
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...