Sciweavers

6348 search results - page 599 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
EDBTW
2006
Springer
15 years 11 months ago
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Shawn Bowers, Bertram Ludäscher
PEPM
1991
ACM
15 years 10 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
CISSE
2008
Springer
15 years 9 months ago
Sentiment Mining Using Ensemble Classification Models
We live in the information age, where the amount of data readily available already overwhelms our capacity to analyze and absorb it without help from our machines. In particular, ...
Matthew Whitehead, Larry Yaeger
XPU
2010
Springer
15 years 5 months ago
Automated Acceptance Testing of High Capacity Network Gateway
In this paper we will explore how agile acceptance testing is applied in testing a high capacity network gateway. We will demonstrate how the organisation managed to grow agile acc...
Ran Nyman, Ismo Aro, Roland Wagner
ICST
2010
IEEE
15 years 5 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...