101 search results - page 14 / 21 » A New Class of Decidable Hybrid Systems |
95
Voted
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
121
click to vote
VMCAI
2012
Springer
13 years 7 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
111
click to vote
ENTCS
2007
14 years 11 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
CIDM
2007
IEEE
15 years 6 months ago
2007
IEEE
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
111
click to vote
CACM
1999
14 years 11 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...