16725 search results - page 684 / 3345 » Engineering Software Correctness |
183
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
187
click to vote
AUIC
2004
IEEE
15 years 11 months ago
2004
IEEE
Researchers in Single Display Groupware (SDG) explore how multiple users share a single display such as a computer monitor, a large wall display, or an electronic tabletop display...
183
click to vote
CGO
2004
IEEE
15 years 11 months ago
2004
IEEE
Predicated execution enables the removal of branches by converting segments of branching code into sequences of conditional operations. An important side effect of this transforma...
241
click to vote
ASWSD
2006
Springer
15 years 11 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
186
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...