Sciweavers

1781 search results - page 128 / 357
» Visualizing program execution using user abstractions
Sort
View
ECOOP
1995
Springer
15 years 6 months ago
Meta-level Programming with CodA
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
Jeff McAffer
UIST
2006
ACM
15 years 8 months ago
Viz: a visual analysis suite for explaining local search behavior
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
PADL
1999
Springer
15 years 6 months ago
CHAT: The Copy-Hybrid Approach to Tabling
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
Bart Demoen, Konstantinos F. Sagonas
DBPL
2007
Springer
75views Database» more  DBPL 2007»
15 years 8 months ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
CONSTRAINTS
1998
108views more  CONSTRAINTS 1998»
15 years 2 months ago
Constraints in Graph Drawing Algorithms
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...
Roberto Tamassia