1109 search results - page 81 / 222 » Software verification for TinyOS |
152
click to vote
INLG
2010
Springer
14 years 11 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
120
Voted
IOLTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
138
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
125
Voted
IEEEIAS
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we propose a framework to develop highperformance system accelerator hardware and the corresponding software at system-level. This framework is designed by integrat...