Sciweavers

783 search results - page 57 / 157
» The Bio-PEPA Tool Suite
Sort
View
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
14 years 2 months ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...
HUC
2004
Springer
14 years 1 months ago
An Audio-Based Personal Memory Aid
We are developing a wearable device that attempts to alleviate some everyday memory problems. The “memory prosthesis” records audio and contextual information from conversation...
Sunil Vemuri, Chris Schmandt, Walter Bender, Stefa...
HICSS
2000
IEEE
121views Biometrics» more  HICSS 2000»
14 years 13 days ago
Working with Patterns and Code
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
Steven P. Reiss
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
IQIS
2007
ACM
13 years 9 months ago
Towards a Benchmark for ETL Workflows
Extraction–Transform–Load (ETL) processes comprise complex data workflows, which are responsible for the maintenance of a Data Warehouse. Their practical importance is denoted...
Panos Vassiliadis, Anastasios Karagiannis, Vasilik...