Sciweavers

7847 search results - page 382 / 1570
» Designing intimate experiences
Sort
View
ACMDIS
2000
ACM
15 years 12 months ago
The Social Life of Engineering Authorizations
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
William A. Stubblefield, Karen S. Rogers
EUROMICRO
1999
IEEE
15 years 12 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 12 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ARCS
2007
Springer
15 years 11 months ago
Toward Self-adaptive Embedded Systems: Multi-objective Hardware Evolution
Abstract. Evolutionary hardware design reveals the potential to provide autonomous systems with self-adaptation properties. We first outline an architectural concept for an intrins...
Paul Kaufmann, Marco Platzner
CANDC
2007
ACM
15 years 11 months ago
Software for systematic and imaginative exploration
This paper describes a software system that has been designed to enhance individual creativity. It was once thought that the era of information visualization would empower people ...
Daryl H. Hepting