1759 search results - page 155 / 352 » Overview of Generative Software Development |
146
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...
123
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: In Archeae and Bacteria, the repeated elements called CRISPRs for "clustered regularly interspaced short palindromic repeats" are believed to participate in ...
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
125
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
142
click to vote
ICSE
2009
IEEE-ACM
15 years 26 days ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...