4890 search results - page 483 / 978 » From system specifications to component behavioral models |
190
click to vote
SCL
2010
15 years 1 months ago
2010
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...
234
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
This paper addresses the problem of categorizing terms or lexical entities into a predefined set of semantic domains exploiting the knowledge available on-line in the Web. The prop...
204
click to vote
ENTCS
2006
15 years 7 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
204
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The Web is a dynamic, ever-changing collection of information accessed in a dynamic way. This paper explores the relationship between Web page content change (obtained from an hou...
175
click to vote
EATIS
2007
ACM
15 years 11 months ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...