6201 search results - page 1002 / 1241 » Implementation of Axiomatic Language |
191
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
In the field of business document standardization a multitude of different standardization efforts exist. Unfortunately, most of the developed standards are designed for a speci...
180
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In an information retrieval system, a thesaurus can be used for query expansion, i.e. adding words to queries in order to improve recall. We propose a semi-automatic and interactiv...
180
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents the design and implementation of declarative policy-based adaptive MANET routing protocols. Our work builds upon declarative networking, a recent innovation ...
159
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
185
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Graphics Processing Units (GPUs) have been growing in popularity due to their impressive processing capabilities, and with general purpose programming languages such as NVIDIA’s...