5101 search results - page 272 / 1021 » Capturing Context Requirements |
164
click to vote
FOSSACS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
172
click to vote
ICCHP
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we introduce the characteristics of the educational platform that is being developed within the SYNENNOESE project. The platform integrates avatar and animation techn...
152
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
166
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...
177
Voted
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
A Machine Translation (MT) system is an automatic process that translates from one human language to another language by using context information. We evaluate the use of an MT-ba...