3885 search results - page 316 / 777 » Clarifying Goal Models |
148
click to vote
HPCC
2007
Springer
16 years 25 days ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...
155
click to vote
ICWE
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
202
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
182
click to vote
CAISE
2005
Springer
16 years 6 days ago
2005
Springer
The notion of spatio-temporal multi-granularity is fundamental when modeling objects in GIS applications in that it supports the representation of the temporal evolutions of these ...
144
click to vote
WAOA
2004
Springer
16 years 17 hour ago
2004
Springer
Borodin, Nielsen and Rackoff [5] proposed a framework for ing the main properties of greedy-like algorithms with emphasis on scheduling problems, and Davis and Impagliazzo [6] ext...