615 search results - page 3 / 123 » High-Level Nondeterministic Abstractions in |
CCGRID
2001
IEEE
13 years 9 months ago
2001
IEEE
TACO (Topologies and Collections) is a template library that introduces the flavour of distributed data parallel processing by means of reusable topology classes and C++ s. This p...
CONSTRAINTS
2008
13 years 5 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...
TRECVID
2007
13 years 7 months ago
2007
TURED ABSTRACT High-Level Feature Extraction (HLFE)
JUCS
2002
13 years 5 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
ICSM
1999
IEEE
13 years 10 months ago
1999
IEEE
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...