481 search results - page 27 / 97 » Executing Higher Order Logic |
130
Voted
ESM
2000
15 years 2 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
100
Voted
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Nowadays, every industry's goal is to improve their manufacturingprocesses and to increase their cadence of production, in order to be competitive. This goal usually implies ...
124
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
125
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
114
click to vote
AISC
2008
Springer
15 years 2 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...