Sciweavers

2237 search results - page 156 / 448
» Analysis and Testing of Web Applications
Sort
View
280
Voted
ISMDA
2005
Springer
15 years 10 months ago
Biomedical Image Processing Integration Through INBIOMED: A Web Services-Based Platform
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...
David Rey, José Crespo, Alberto Anguita, Ju...
FORTE
2008
15 years 6 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
174
Voted
ASPLOS
2000
ACM
15 years 9 months ago
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...
Joshua Redstone, Susan J. Eggers, Henry M. Levy
GI
2004
Springer
15 years 10 months ago
Engineering a Domain Ontology in a Semantic Web Retrieval System for Pathology
: Telepathology allows pathologists to acquire, analyze and exchange high quality digital histological images for diagnostic and teaching purposes. Concrete applications in this ar...
Robert Tolksdorf, Elena Paslaru Bontas
WAW
2004
Springer
80views Algorithms» more  WAW 2004»
15 years 10 months ago
Dominating Sets in Web Graphs
In this paper we study the size of generalised dominating sets in two graph processes which are widely used to model aspects of the world-wide web. On the one hand, we show that gr...
Colin Cooper, Ralf Klasing, Michele Zito