Sciweavers

6016 search results - page 283 / 1204
» The semantics of graphical languages
Sort
View
SI3D
1995
ACM
15 years 10 months ago
CamDroid: A System for Implementing Intelligent Camera Control
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...
Steven M. Drucker, David Zeltzer
CSC
2007
15 years 8 months ago
Visualization a la Unix
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
Hans-Peter Bischof, Tim Peterson
APVIS
2004
15 years 8 months ago
Displaying Linear Programs and Their Solutions With XML and SVG
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
Hans Chang, John F. Raffensperger, Neville Churche...
246
Voted
POPL
2007
ACM
16 years 7 months ago
Assessing security threats of looping constructs
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
Pasquale Malacaria
ESOP
2009
Springer
16 years 1 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari