4690 search results - page 599 / 938 » An operational semantics for Scheme |
194
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
215
click to vote
LFCS
2007
Springer
16 years 1 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...
236
click to vote
NBIS
2007
Springer
16 years 1 months ago
2007
Springer
IP over optical networks controlled by the GMPLS control plane have become the common infrastructure for a variety of services, such as triple play and grid applications. The traff...
231
click to vote
DASC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Wireless Sensor Networks (WSNs) have critical applications in diverse domains like environmental monitoring and military operations where accurate location of sensors i...
216
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...