4520 search results - page 39 / 904 » Algebraic Techniques for Timed Systems |
129
click to vote
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
126
click to vote
CISC
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
115
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
107
click to vote
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
108
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...