1722 search results - page 259 / 345 » Variables in Concept Graphs |
134
Voted
STACS
2010
Springer
15 years 11 months ago
2010
Springer
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...
112
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
126
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
139
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
127
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...