2935 search results - page 114 / 587 » An Integrated Approach to High Integrity Software Verificati... |
124
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
—The increasing automation of business processes is one of the main benefits of the ongoing technological evolution. Regarding e-invoices this automation process is still not op...
114
Voted
ISI
2004
Springer
15 years 10 months ago
2004
Springer
The protection of critical infrastructures, such as electrical power grids, has become a primary concern of many nation states in recent years. Critical infrastructures involve mul...
175
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
156
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
130
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...