1109 search results - page 102 / 222 » Software verification for TinyOS |
176
click to vote
MOBILIGHT
2010
14 years 11 months ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...
100
click to vote
KBSE
1995
IEEE
15 years 5 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
118
click to vote
AVI
2008
15 years 3 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
128
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...