Sciweavers

2570 search results - page 327 / 514
» Constructing a web information system development methodolog...
Sort
View
SIGMOD
2002
ACM
142views Database» more  SIGMOD 2002»
16 years 6 months ago
The Grid: An Application of the Semantic Web
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
Carole A. Goble, David De Roure
DAC
2008
ACM
16 years 7 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir
KES
2005
Springer
15 years 11 months ago
Design of a Digital Forensics Image Mining System
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
Ross Brown, Binh Pham, Olivier Y. de Vel
STEP
2005
IEEE
15 years 11 months ago
TETE: A Non-Invasive Unit Testing Framework for Source Transformation
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
Derek M. Shimozawa, James R. Cordy
SERP
2003
15 years 7 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart