1466 search results - page 220 / 294 » C Program Information Database for Analysis Tools |
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
CIVR
2008
Springer
13 years 9 months ago
2008
Springer
Three-screen services provide the right solution for consumers to access rich multimedia resources by any device, anytime and anywhere. In this paper, we describe a prototype syst...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
UIST
2003
ACM
14 years 29 days ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
FAC
2008
13 years 7 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...