1341 search results - page 113 / 269 » Logic for Modeling Product Structure |
149
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
162
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
128
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
122
click to vote
IANDC
2010
15 years 1 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
106
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...