3885 search results - page 246 / 777 » Clarifying Goal Models |
174
click to vote
COMPLEXITY
2010
15 years 2 months ago
2010
The increasing sophistication of the tools and results of cellular and molecular neuroscience would appear to suggest that explanatory force in neuroscience is defined by reductio...
161
click to vote
SOFSEM
2010
Springer
16 years 2 months ago
2010
Springer
We extend the lower bound of Adler et. al [1] and Berenbrink [3] for parallel randomized load balancing algorithms. The setting in these asynchronous and distributed algorithms is...
172
click to vote
SIBGRAPI
2008
IEEE
15 years 12 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
146
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
140
click to vote
GPCE
2003
Springer
15 years 10 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...