33356 search results - page 6586 / 6672 » Models of Continual Computation |
184
click to vote
WSNA
2003
ACM
16 years 16 hour ago
2003
ACM
Sensor networks have become an important source of data with numerous applications in monitoring various real-life phenomena as well as industrial applications and traffic contro...
215
Voted
AGTIVE
2003
Springer
16 years 10 hour ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
183
click to vote
ASM
2003
ASM
16 years 8 hour ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
182
click to vote
ATAL
2003
Springer
16 years 8 hour ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
163
click to vote
CCS
2003
ACM
16 years 5 hour ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...