3664 search results - page 505 / 733 » Language Technology for eLearning |
156
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
158
click to vote
ISSE
2010
15 years 4 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
141
click to vote
SCP
2010
15 years 4 months ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
184
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The present work covers a comparison of the text retrieval qualities of open source relational databases and Lucene, which is a full text search engine library, over English docume...
177
click to vote
MASS
2010
15 years 4 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...