Sciweavers

1574 search results - page 211 / 315
» Integrated Tools for Performance-Oriented Distributed Softwa...
Sort
View
142
Voted
APSEC
2004
IEEE
15 years 8 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
VLDB
2007
ACM
130views Database» more  VLDB 2007»
16 years 4 months ago
A framework for efficient regression tests on database applications
Regression testing is an important software maintenance activity to ensure the integrity of a software after modification. However, most methods and tools developed for software te...
Florian Haftmann, Donald Kossmann, Eric Lo
123
Voted
COMPLIFE
2005
Springer
15 years 9 months ago
Protein Annotation by Secondary Structure Based Alignments (PASSTA)
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
Constantin Bannert, Jens Stoye
132
Voted
EMSOFT
2004
Springer
15 years 8 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
139
Voted
MIDDLEWARE
2007
Springer
15 years 10 months ago
Semantics-based grid resource management
Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics have been developed aiming to ...
Alexandre Ceasar Tavares Vidal, Francisco Jos&eacu...