1804 search results - page 229 / 361 » Intrusion Detection Using Sequences of System Calls |
150
Voted
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
This paper investigates an application of mobile sensing: detecting and reporting the surface conditions of roads. We describe a system and associated algorithms to monitor this i...
150
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
116
click to vote
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
Motivated by the requirements of the present archaeology, we are developing an automated system for archaeological classification and reconstruction of ceramics. Due to the natur...
117
click to vote
ICDT
2005
ACM
15 years 9 months ago
2005
ACM
The traditional way of representing motion in 3D space-time uses a trajectory, i.e. a sequence of (x,y,t) points. Such a trajectory may be produced by periodic sampling of a Global...
149
click to vote
FUIN
2007
15 years 4 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...