Sciweavers

6756 search results - page 1048 / 1352
» The Structure of Visual Spaces
Sort
View
POPL
2007
ACM
16 years 7 months ago
Dynamic heap type inference for program understanding and debugging
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
Ben Liblit, Chloë W. Schulze, Marina Polishch...
HT
2009
ACM
16 years 1 months ago
Designing hypertext tools to facilitate authoring multiple points-of-view stories
How can authoring tools help authors create complex, innovative hypertext narrative structures? Tools for creating hypertext fiction typically represent such narratives in the fo...
Alex Mitchell, Kevin McGee
ECOOPW
1998
Springer
15 years 11 months ago
Mapping Business Processes to Software Design Artifacts
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
Pavel Hruby
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 11 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
EDUTAINMENT
2007
Springer
15 years 10 months ago
View-Dependent Hierarchical Foliage Simplification
High compression of plant geometry is an important aspect in fast realistic visualization of plants. Hierarchical structuring plant morphology is a key factor for real time plant r...
Qingqiong Deng, Xiaopeng Zhang, Marc Jaeger
« Prev « First page 1048 / 1352 Last » Next »