Sciweavers

1292 search results - page 61 / 259
» A Designer's Guide to KEMs
Sort
View
EUROMICRO
1996
IEEE
14 years 2 days ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
ACMDIS
2010
ACM
13 years 8 months ago
Investigating the relationship between imagery and rationale in design
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
Shahtab Wahid, Stacy M. Branham, D. Scott McCricka...
IEICET
2006
114views more  IEICET 2006»
13 years 8 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
CE
2005
71views more  CE 2005»
13 years 7 months ago
Teachers' pedagogical designs for technology-supported collective inquiry: A national case study
The aim of the present study was to analyze teachers' pedagogical designs, plans of organized technology-supported, collective student inquiry. Ten teachers in Finland design...
Minna Lakkala, Jiri Lallimo, Kai Hakkarainen
CHI
2009
ACM
14 years 8 months ago
Sacred imagery in techno-spiritual design
Despite increased knowledge about how Information and Communications Technologies (ICTs) are used to support religious and spiritual practices, designers know little about how to ...
Susan Wyche, Kelly E. Caine, Benjamin K. Davison, ...