5228 search results - page 833 / 1046 » Case Studies for Software Engineers |
162
click to vote
VMCAI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
163
click to vote
CGO
2005
IEEE
16 years 7 days ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
163
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
189
click to vote
CITA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports an investigation into the adoption of the Internet amongst Malaysian travel agencies as a means of exploring the likely future potential growth of e-business wi...
190
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...