Sciweavers

1559 search results - page 242 / 312
» Fundamentals of Generic Programming
Sort
View
ATAL
2009
Springer
15 years 4 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
ASWEC
2008
IEEE
15 years 4 months ago
Construction by Configuration: Challenges for Software Engineering Research and Practice
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
Ian Sommerville
DSD
2008
IEEE
165views Hardware» more  DSD 2008»
15 years 4 months ago
Application Analysis for Parallel Processing
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
Muhammad Rashid, Damien Picard, Bernard Pottier
ICASSP
2008
IEEE
15 years 4 months ago
Wavelet-domain compressive signal reconstruction using a Hidden Markov Tree model
Compressive sensing aims to recover a sparse or compressible signal from a small set of projections onto random vectors; conventional solutions involve linear programming or greed...
Marco F. Duarte, Michael B. Wakin, Richard G. Bara...
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
15 years 4 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...