1054 search results - page 157 / 211 » Models for automatic generation of safety-critical real-time... |
121
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
NIPS
2001
15 years 3 months ago
2001
We propose a new particle filter that incorporates a model of costs when generating particles. The approach is motivated by the observation that the costs of accidentally not trac...
150
click to vote
OSDI
2004
ACM
16 years 2 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
142
click to vote
ACSW
2007
15 years 3 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...
118
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...