757 search results - page 10 / 152 » How to decide |
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
VLDB
1997
ACM
13 years 11 months ago
1997
ACM
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
ICALP
1999
Springer
13 years 12 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
ASM
2005
ASM
14 years 1 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...