2835 search results - page 221 / 567 » Common Semantics for Use Cases and Task Models |
137
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
We present a study that evaluates the effectiveness of augmenting on-screen instructions with micro-projection for manual task guidance unlike prior work, which replaced screen in...
165
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
144
click to vote
CASCON
2001
15 years 6 months ago
2001
Of the many tuning parameters available in a database management system (DBMS), one of the most crucial to performance is the buffer pool size. Choosing an appropriate size, howev...
146
click to vote
CAI
2006
Springer
15 years 4 months ago
2006
Springer
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
149
click to vote
ECMDAFA
2010
Springer
15 years 8 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...