4770 search results - page 144 / 954 » Flexible Type Analysis |
139
click to vote
BNCOD
2008
15 years 6 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
132
click to vote
ANSS
2007
IEEE
15 years 10 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
150
click to vote
VIZSEC
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...
107
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Finding the appropriate location of adaptation points for computation migration/checkpointing is critical since the distance between two consecutive adaptation points determines t...
157
click to vote
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
Low Density Parity Check (LDPC) codes are one of the best error correcting codes that enable the future generations of wireless devices to achieve higher data rates. This paper pr...