597 search results - page 114 / 120 » Formal Techniques for Java-Like Programs |
134
click to vote
CONSTRAINTS
2008
15 years 2 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
150
Voted
ENTCS
2007
15 years 2 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
136
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
123
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
113
Voted
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Multitasked real-time systems often employ caches to boost performance. However the unpredictable dynamic behavior of caches makes schedulability analysis of such systems difficul...