1778 search results - page 179 / 356 » Building a Knowledge Base: An Example |
147
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
115
Voted
CISC
2005
Springer
15 years 9 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
114
click to vote
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
As mobile phone becomes popular in the society and many people can afford the cost, the demand of mobility is extended to teaching and learning purposes. One recent and significan...
124
Voted
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
123
click to vote
CATA
2003
15 years 4 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...