1451 search results - page 61 / 291 » Case Studies in Model Manipulation for Scientific Computing |
156
click to vote
SIGCSE
2010
ACM
15 years 9 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...
162
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
126
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
149
click to vote
ACE
2004
15 years 5 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
131
click to vote
FUIN
2000
15 years 4 months ago
2000
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...