Sciweavers

1036 search results - page 85 / 208
» Design methods as discourse on practice
Sort
View
PDC
2004
ACM
14 years 1 months ago
Artful infrastructuring in two cases of community PD
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
Helena Karasti, Anna-Liisa Syrjänen
APSEC
2006
IEEE
13 years 9 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
NJC
2006
57views more  NJC 2006»
13 years 7 months ago
Towards Unambiguous Model Fragments
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
Mika Siikarla, Jari Peltonen, Johannes Koskinen
CODES
2006
IEEE
14 years 1 months ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
FM
2003
Springer
136views Formal Methods» more  FM 2003»
14 years 1 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...