5084 search results - page 770 / 1017 » Proving Possibility Properties |
163
click to vote
MODELS
2007
Springer
16 years 23 days 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....
193
click to vote
PEPM
2007
ACM
16 years 22 days 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...
193
click to vote
UM
2007
Springer
16 years 22 days 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...
157
click to vote
VAMOS
2007
Springer
16 years 22 days 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...
202
click to vote
WADS
2007
Springer
16 years 22 days 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...