2935 search results - page 280 / 587 » An Integrated Approach to High Integrity Software Verificati... |
222
click to vote
EXACT
2009
15 years 4 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
196
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
184
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...
201
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
174
click to vote
CASC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...