Sciweavers

2430 search results - page 376 / 486
» Tool support for quality-driven development of software arch...
Sort
View
BIRTHDAY
2003
Springer
15 years 6 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
ECTEL
2007
Springer
15 years 7 months ago
Smart Indicators on Learning Interactions
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
Christian Glahn, Marcus Specht, Rob Koper
189
Voted
EMSOFT
2011
Springer
14 years 1 months ago
Aciom: application characteristics-aware disk and network i/o management on android platform
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, In...
WWW
2009
ACM
16 years 2 months ago
Why is the web loosely coupled?: a multi-faceted metric for service design
Loose coupling is often quoted as a desirable property of systems architectures. One of the main goals of building systems using Web technologies is to achieve loose coupling. How...
Cesare Pautasso, Erik Wilde
IPPS
2003
IEEE
15 years 6 months ago
A Web Service-Based Experiment Management System for the Grid
We have developed the ZENTURIO experiment management system for performance studies, parameter studies, and software testing of parallel applications on cluster and Grid architect...
Radu Prodan, Thomas Fahringer