Sciweavers

1597 search results - page 72 / 320
» Context Capture in Software Development
Sort
View
EDCC
2010
Springer
15 years 4 months ago
Towards Understanding the Importance of Variables in Dependable Software
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
Matthew Leeke, Arshad Jhumka
APSEC
2008
IEEE
15 years 1 months ago
Risks and Risk Management in Software Architecture Evolution: An Industrial Survey
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...
Odd Petter N. Slyngstad, Reidar Conradi, Muhammad ...
IEE
2010
136views more  IEE 2010»
14 years 10 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
ICDCS
2005
IEEE
15 years 5 months ago
Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
CGF
2007
151views more  CGF 2007»
14 years 12 months ago
Teaching, Exploring, Learning - Developing Tutorials for In-Class Teaching and Self-Learning
This paper presents an experience report on a novel approach for a course on intermediate and advanced computer graphics topics. The approach uses Teachlet Tutorials, a combinatio...
Steffi Beckhaus, Kristopher J. Blom