744 search results - page 47 / 149 » Observations on the Decidability of Transitions |
JSYML
2002
13 years 8 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
FOSSACS
2012
Springer
12 years 4 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
SSDBM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We introduce AdaptPD, an automated physical design tool that improves database performance by continuously monitoring changes in the workload and adapting the physical de...
AVSS
2007
IEEE
14 years 3 months ago
2007
IEEE
With concerns about terrorism and global security on the rise, it has become vital to have in place efficient threat detection systems that can detect and recognize potentially da...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...