3514 search results - page 437 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
166
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
112
Voted
IUI
1998
ACM
15 years 7 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
131
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
131
click to vote
IUI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
120
click to vote
IUI
1997
ACM
15 years 7 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...