Sciweavers

1867 search results - page 13 / 374
» Understanding visual behaviour
Sort
View
HCI
2007
13 years 9 months ago
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
Stefan Sauer, Gregor Engels
PLDI
2011
ACM
12 years 10 months ago
Understanding POWER multiprocessors
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Mar...
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
13 years 5 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
14 years 27 days ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 7 months ago
Thinking Adaptive: Towards a Behaviours Virtual Laboratory
In this paper we name some of the advantages of virtual laboratories; and propose that a Behaviours Virtual Laboratory should b e useful for bo th biologists and AI researchers, o...
Carlos Gershenson, Pedro Pablo González P&e...