16725 search results - page 307 / 3345 » Engineering Software Correctness |
123
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
135
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
123
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
133
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
101
click to vote
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...