543 search results - page 91 / 109 » Overview of WebCLEF 2007 |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Grid Computing has made substantial advances in the past decade; these are primarily due to the adoption of standardized Grid middleware. However Grid computing has not yet become...
DEBU
2007
13 years 7 months ago
2007
We present an overview of the embeddability features of SQL Anywhere, a full-function relational database system designed for frontline business environments with minimal administ...
ENTCS
2007
13 years 7 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
ENTCS
2007
13 years 7 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
IEE
2007
13 years 7 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...