837 search results - page 75 / 168 » Proof Development with OMEGA |
ENTCS
2002
13 years 9 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
ENTCS
2002
13 years 9 months ago
2002
Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations...
ICWE
2010
Springer
13 years 8 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
GI
2009
Springer
13 years 7 months ago
2009
Springer
: As the mobile phone's camera is becoming the most widely available consumer tool for media creation it also opens new possibilities for casual and social form of mobile gami...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
The value 1 problem is a decision problem for probabilistic automata on finite words: given a probabilistic automaton A, are there words accepted by A with probability arbitraril...