19985 search results - page 3108 / 3997 » Modelling Ecological Data |
185
click to vote
TACAS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
163
click to vote
VIZSEC
2004
Springer
16 years 1 months ago
2004
Springer
We present an approach to user re-authentication based on the data collected from the computer’s mouse device. Our underlying hypothesis is that one can successfully model user ...
196
click to vote
VLDB
2004
ACM
16 years 1 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
183
click to vote
VLDB
2004
ACM
16 years 1 months ago
2004
ACM
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...
267
click to vote
VOSS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...