5084 search results - page 770 / 1017 » Proving Possibility Properties |
181
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
225
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
211
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...
175
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
228
click to vote
WADS
2007
Springer
16 years 1 months ago
2007
Springer
The stable marriage problem is a classical matching problem introduced by Gale and Shapley. It is known that for any instance, there exists a solution, and there is a polynomial ti...