4048 search results - page 180 / 810 » Design Science, Engineering Science and Requirements Enginee... |
149
Voted
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
103
Voted
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
148
Voted
WCET
2010
15 years 1 months ago
2010
ing Abstract Caches with Symbolic Pipeline Analysis Stephan Wilhelm1 and Christoph Cullmann1 1 AbsInt Angewandte Informatik GmbH, Science Park 1; D-66123 Saarbr
135
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
130
Voted
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
Design patterns have been widely adopted and well investigated by the software engineering community over the past decade. However, their primary use is still associated with forw...