1369 search results - page 63 / 274 » Graphical Design of Reactive Systems |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
The OpenChoice system, currently in development, is an open source, open access community rating and filtering service that would improve upon the utility of currently available W...
ENTCS
2007
14 years 9 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
PG
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an appearance-based user interface for artists to efficiently design customized image-based lighting environments. 1 Our approach avoids typical iterations of paramete...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
JLP
2006
14 years 9 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...