Sciweavers

13137 search results - page 2306 / 2628
» A Science of Software Design
Sort
View
SAFECOMP
2009
Springer
16 years 1 months ago
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Cal...
GROUP
2009
ACM
16 years 1 months ago
Two peers are better than one: aggregating peer reviews for computing assignments is surprisingly accurate
Scientific peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the workā...
Ken Reily, Pam Ludford Finnerty, Loren G. Terveen
JTRES
2009
ACM
16 years 1 months ago
Avoiding unbounded priority inversion in barrier protocols using gang priority management
Large real-time software systems such as real-time Java virtual machines often use barrier protocols, which work for a dynamically varying number of threads without using centrali...
Harald Röck, Joshua S. Auerbach, Christoph M....
SIGDOC
2009
ACM
16 years 1 months ago
Modeling task experience in user assistance systems
One of the major issues for user assistance systems consists of ā€œproviding help at an appropriate levelā€. In this paper we analyze the problem of modeling task experience — ...
Andrea Kohlhase, Michael Kohlhase
VRST
2009
ACM
16 years 1 months ago
A semantic environment model for crowd simulation in multilayered complex environment
Simulating crowds in complex environment is fascinating and challenging, however, modeling of the environment is always neglected in the past, which is one of the essential proble...
Hao Jiang, Wenbin Xu, Tianlu Mao, Chunpeng Li, Shi...
« Prev « First page 2306 / 2628 Last » Next »