3595 search results - page 465 / 719 » Roles of Program Extension |
145
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
129
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Widget containers are used everywhere on the Web, for instance as customizable start pages to Web desktops. In this poster, we describe the extension of a widget container with an...
160
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
190
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
160
click to vote
EWSN
2007
Springer
16 years 5 months ago
2007
Springer
Many applications in wireless sensor networks rely on data from neighboring nodes. However, the effort for developing efficient solutions for sharing data in the neighborhood is of...