1788 search results - page 150 / 358 » Model Theory for Process Algebra |
139
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
169
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
135
Voted
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
166
Voted
CALCO
2011
Springer
14 years 3 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
132
click to vote
ISSAC
1997
Springer
15 years 7 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...