Sciweavers

4444 search results - page 434 / 889
» Modelling Dynamic Web Data
Sort
View
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 6 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
FGCS
2011
153views more  FGCS 2011»
14 years 11 months ago
Representing distributed systems using the Open Provenance Model
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking prov...
Paul T. Groth, Luc Moreau
DATAMINE
2006
164views more  DATAMINE 2006»
15 years 4 months ago
Fast Distributed Outlier Detection in Mixed-Attribute Data Sets
Efficiently detecting outliers or anomalies is an important problem in many areas of science, medicine and information technology. Applications range from data cleaning to clinica...
Matthew Eric Otey, Amol Ghoting, Srinivasan Partha...
IADIS
2003
15 years 5 months ago
Model Driven Fast Prototyping: A Semantic Approach
Sure that quality applications must be well thought and described before the development phase and that a design methodology can be much more than a help in most occasions, we pro...
Luca Contursi, Roberto Paiano, Andrea Pandurino
CAISE
2004
Springer
15 years 9 months ago
Transformations in Information Supply
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...
Bas van Gils, Henderik Alex Proper, Patrick van Bo...