1940 search results - page 202 / 388 » Dependable Software: An Oxymoron |
189
click to vote
VL
2006
IEEE
16 years 15 days ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
190
click to vote
ASWEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
167
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
166
click to vote
IUI
2005
ACM
16 years 1 days ago
2005
ACM
In this paper, we explore the conventions that people use in managing multiple dialogue threads. In particular, we focus on where in a thread people interrupt when switching to an...
159
click to vote
WOSP
2005
ACM
16 years 1 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...