2255 search results - page 263 / 451 » High Assurance Software Systems |
160
click to vote
KBSE
2008
IEEE
16 years 28 days ago
2008
IEEE
—Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - wh...
165
click to vote
HCI
2007
15 years 8 months ago
2007
Web 2.0 is an emerging catch phrase and the applications associated with it shocked the traditional eLearning world. However, is this really all new and can it be considered suitab...
160
click to vote
WEBIST
2008
15 years 8 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
132
click to vote
IRI
2007
IEEE
16 years 25 days ago
2007
IEEE
The paper presents a technique for the design of digital systems on the basis of reusable hardware templates, which are circuits with modifiable functionality that might be custom...
141
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...