3931 search results - page 601 / 787 » Separation logic and abstraction |
177
click to vote
IH
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
187
click to vote
MABS
2004
Springer
16 years 24 days ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
220
click to vote
MMAS
2004
Springer
16 years 24 days ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
355
click to vote
NPC
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...
213
click to vote
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...