2124 search results - page 244 / 425 » Changing the paradigm of software engineering |
184
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
174
Voted
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
186
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
170
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
165
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
Previous work has demonstrated the viability of applying offline analysis to interpret forearm electromyography (EMG) and classify finger gestures on a physical surface. We extend...