3107 search results - page 495 / 622 » Error-Correcting Source Code |
136
click to vote
ICAS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
106
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We present a new algorithm for solving the global localization problem called Frozen-Time Smoother (FTS). Time is ‘frozen’, in the sense that the belief always refers to th...
127
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
109
click to vote
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
The ubiquity of web applications has led to an increased focus on the development of attacks targeting these applications. One particular type of attack that has recently become p...
154
click to vote
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...