3108 search results - page 436 / 622 » The Elements of Computer Credibility |
169
click to vote
PARELEC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we investigate the worst case performance of Earliest Due Date algorithm when applied to packet scheduling in distributed systems. We assume that the processing ele...
180
click to vote
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
172
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...
152
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
A current research project at the University of Strathclyde is introduced which aims to better understand the role of distributed engineering design in industry and address presen...
187
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present an approach to simulate flows driven by surface tension based on triangle meshes. Our method consists of two simulation layers: the first layer is an Eulerian method ...