598 search results - page 51 / 120 » Aspect-Oriented Development Using Protocol Modeling |
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
VLSID
2008
IEEE
14 years 4 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
FMICS
2010
Springer
13 years 10 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
BMCBI
2011
13 years 5 months ago
2011
Background: DNA methylation has been shown to play an important role in the silencing of tumor suppressor genes in various tumor types. In order to have a system-wide understandin...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper presents an architecture for adaptive cognitive radio networks based on the concept of a “global control plane”. The proposed control architecture uses a predete...