Sciweavers

2441 search results - page 258 / 489
» Integrated Medical Analysis System
Sort
View
ICWE
2009
Springer
15 years 4 months ago
Fine-Grained Analysis of Web Tasks through Data Visualization
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
Gennaro Costagliola, Vittorio Fuccella
SIGMETRICS
2006
ACM
102views Hardware» more  SIGMETRICS 2006»
16 years 13 days ago
On the way to a distributed systems calculus: an end-to-end network calculus with data scaling
Network calculus is a min-plus system theory which facilitates the efficient derivation of performance bounds for networks of queues. It has successfully been applied to provide e...
Markus Fidler, Jens B. Schmitt
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 4 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
VSTTE
2005
Springer
15 years 12 months ago
Implications of a Data Structure Consistency Checking System
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. R...
BMCBI
2008
122views more  BMCBI 2008»
15 years 6 months ago
High-throughput bioinformatics with the Cyrille2 pipeline system
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
Mark W. E. J. Fiers, Ate van der Burgt, Erwin Date...