290 search results - page 26 / 58 » A Metamodeling Approach for Reasoning about Requirements |
105
Voted
PODC
1999
ACM
15 years 4 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
109
Voted
SASO
2010
IEEE
14 years 10 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
107
Voted
KDD
2008
ACM
16 years 23 days ago
2008
ACM
Supervised classification methods have been shown to be very effective for a large number of applications. They require a training data set whose instances are labeled to indicate...
110
click to vote
ICSE
2007
IEEE-ACM
16 years 13 days ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
100
click to vote
AAAI
2010
15 years 1 months ago
2010
Planning in dynamic continuous environments requires reasoning about nonlinear continuous effects, which previous Hierarchical Task Network (HTN) planners do not support. In this ...