3954 search results - page 639 / 791 » Image-based Model Completion |
114
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
139
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
126
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
169
click to vote
DAWAK
2006
Springer
15 years 7 months ago
2006
Springer
Recently, the data stream, which is an unbounded sequence of data elements generated at a rapid rate, provides a dynamic environment for collecting data sources. It is likely that ...
102
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...