2315 search results - page 397 / 463 » Does EigenPalm work |
WS
2004
ACM
14 years 1 months ago
2004
ACM
In many applications of wireless sensor networks (WSN), sensors are deployed un-tethered in hostile environments. For locationaware WSN applications, it is essential to ensure tha...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
Address-space randomization is a technique used to fortify systems against bu er over
ow attacks. The idea is to introduce arti cial diversity by randomizing the memory location o...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
ICLP
2004
Springer
14 years 1 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
26
Voted
WADT
2004
Springer
14 years 1 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...