3885 search results - page 406 / 777 » Clarifying Goal Models |
160
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
To understand how and why individuals make use of emerging information assimilation services on the Web as part of their daily routine, we combined video recordings of online acti...
182
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The goal of this research is to elucidate the ways shared visual space supports group communication and performance. This work involves three stages: a series of empirical studies...
189
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
292
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
155
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...