3911 search results - page 209 / 783 » Using Operational Architecture to Model Embedded Software |
178
click to vote
ISSRE
2006
IEEE
16 years 15 days ago
2006
IEEE
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
182
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
170
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
177
click to vote
ICSEA
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
166
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...