7847 search results - page 397 / 1570 » Designing intimate experiences |
166
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
225
click to vote
IWDM
1989
15 years 11 months ago
1989
PRISMA/DB is implementedin a parallelobject-orientedlanguage to gain insight in the usage of parallelism. This environment allows us to experiment with parallelism by simply chang...
200
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
229
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
157
click to vote
DIAGRAMS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...