1648 search results - page 91 / 330 » Structuring namespace descriptions |
120
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
111
Voted
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
120
Voted
AUIC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents Keg Master, a graph-aware visual editor for 3D graphs. Keg Master is novel in that it works with a graph description language as opposed to a scene graph descr...
133
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
115
Voted
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...