Sciweavers

3868 search results - page 368 / 774
» Open Systems in TLA
Sort
View
IFIP
1992
Springer
15 years 11 months ago
Defining the Dynamic Behaviour of Animated Interfaces
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
Stéphane Chatty
ESEM
2007
ACM
15 years 10 months ago
Static Members and Cycles in Java Software
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
Hayden Melton, Ewan D. Tempero
186
Voted
EVOW
2009
Springer
15 years 10 months ago
Artificial Nature: Immersive World Making
Abstract. Artificial Nature is a trans-disciplinary research project drawing upon bio-inspired system theories in the production of engaging immersive worlds as art installations. ...
Graham Wakefield, Haru (Hyunkyung) Ji
AISC
2006
Springer
15 years 10 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan
GCSE
2000
Springer
15 years 10 months ago
On to Aspect Persistence
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...
Awais Rashid