3564 search results - page 614 / 713 » Evaluating a Formal Modelling Language |
EWSA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
ACMICEC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
SIGIR
2011
ACM
14 years 22 days ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
100
click to vote
DIS
2001
Springer
15 years 2 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...