3954 search results - page 153 / 791 » Image-based Model Completion |
153
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
181
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
157
click to vote
MODELS
2009
Springer
16 years 25 days ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
156
click to vote
HICSS
2008
IEEE
16 years 22 days ago
2008
IEEE
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...
126
click to vote
ICNS
2007
IEEE
16 years 17 days ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...