1369 search results - page 192 / 274 » Graphical Design of Reactive Systems |
CADE
1994
Springer
15 years 1 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
EHCI
2004
14 years 11 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
ER
2009
Springer
14 years 7 months ago
2009
Springer
Abstract Currently, the development of the visual design of Web Information Systems is mainly based on developers' experiences. Late considerations of graphical issues during ...
HT
2000
ACM
15 years 2 months ago
2000
ACM
Software components for distance and just-in-time (JIT) learning are an increasingly common method of encouraging reuse and facilitating the development process[58], but no analog...
SENSYS
2009
ACM
15 years 4 months ago
2009
ACM
We will demonstrate a wireless sensor network system for the surveillance of critical areas and properties – e.g. borders. The system consists of up to 10 sensor nodes that moni...