16606 search results - page 328 / 3322 » Context Modeling: Task Model and Practice Model |
150
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
148
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
126
click to vote
AIM
2006
15 years 6 months ago
2006
: This article deals with enterprise interoperability in order to propose lines of research about information system design in a collaborative context. The static and dynamic dimen...
142
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
126
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...