1743 search results - page 161 / 349 » Generalized Modal Satisfiability |
141
Voted
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
125
Voted
FOCS
1998
IEEE
15 years 7 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
153
click to vote
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
133
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
129
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...