7580 search results - page 54 / 1516 » Prometheus design tool |
119
Voted
CC
1999
Springer
15 years 2 months ago
1999
Springer
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
220
Voted
CHI
2002
ACM
16 years 3 months ago
2002
ACM
Physical interactive environments can come in many forms: museum installations, amusement parks, experimental theaters, and more. Programming these environments has historically b...
93
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
The pervasive use of ambiguous keypads for mobile text entry necessitates examination of their performance characteristics. This paper presents TnToolkit – a self-contained tool...
116
Voted
TELSYS
2002
15 years 2 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
125
Voted
JUCS
2010
15 years 1 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...