Sciweavers

801 search results - page 52 / 161
» Robust Software
Sort
View
PPDP
2009
Springer
14 years 4 months ago
Future contracts
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
Christos Dimoulas, Riccardo Pucella, Matthias Fell...
INDIASE
2009
ACM
14 years 4 months ago
Computing dynamic clusters
When trying to reverse engineer software, execution trace analysis is increasingly used. Though, by using this technique we are quickly faced with an enormous amount of data that ...
Philippe Dugerdil, Sebastien Jossi
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
13 years 8 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
ISMIR
2004
Springer
160views Music» more  ISMIR 2004»
14 years 3 months ago
Fast labelling of notes in music signals
We present a new system for the estimation of note attributes from a live monophonic music source, within a short time delay and without any previous knowledge of the signal. The ...
Paul Brossier, Juan Pablo Bello, Mark D. Plumbley
ATAL
2008
Springer
14 years 2 days ago
The senior companion multiagent dialogue system
This article presents a multi-agent dialogue system. We show how a collection of relatively simple agents is able to treat complex dialogue phenomena and deal successfully with di...
Hugo Pinto, Yorick Wilks, Roberta Catizone, Alexie...