3775 search results - page 552 / 755 » The Expression Problem Revisited |
157
Voted
EDBT
2009
ACM
15 years 12 months ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
143
click to vote
LATA
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
152
click to vote
TACAS
2009
Springer
15 years 12 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
149
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
152
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...