Sciweavers

783 search results - page 41 / 157
» The Bio-PEPA Tool Suite
Sort
View
IFIP
2004
Springer
14 years 1 months ago
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
Jerry den Hartog, Erik P. de Vink
TAICPART
2010
IEEE
126views Education» more  TAICPART 2010»
13 years 6 months ago
Improved Testing through Refactoring: Experience from the ProTest Project
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
Huiqing Li, Simon J. Thompson
TOOLS
2008
IEEE
14 years 2 months ago
Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
Friedrich Steimann, Thomas Eichstädt-Engelen,...
VLDB
2001
ACM
100views Database» more  VLDB 2001»
14 years 12 days ago
Improving Business Process Quality through Exception Understanding, Prediction, and Prevention
Business process automation technologies are being increasingly used by many companies to improve the efficiency of both internal processes as well as of e-services offered to cus...
Daniela Grigori, Fabio Casati, Umeshwar Dayal, Min...
MMM
2008
Springer
114views Multimedia» more  MMM 2008»
14 years 2 months ago
Using Fuzzy Lists for Playlist Management
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...
François Deliège, Torben Bach Peders...