1300 search results - page 151 / 260 » Visual Languages |
131
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
133
click to vote
AVI
2008
15 years 5 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
134
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
This paper addresses conceptual modeling and automatic code generation for search engine integration with data intensive Web applications. We have analyzed the similarities (and di...
102
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
111
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...