43264 search results - page 92 / 8653 » Comparing models of computation |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We report on the design and initial evaluation of two methods for short text input in wearable computing applications using hand gestures. A wireless data glove able to recognize ...
DAGSTUHL
1996
13 years 10 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
SIMUTOOLS
2008
13 years 10 months ago
2008
In this work we present the results of a comparative study between two well-known network simulators: ns-2 and OPNET Modeler. In particular, we focus on a performance evaluation o...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
JLP
2008
13 years 8 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...