1759 search results - page 220 / 352 » Overview of Generative Software Development |
111
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
132
click to vote
CSSE
2008
IEEE
15 years 2 months ago
2008
IEEE
According to dramatically growing interesting in power-efficient embedded processor, designers must establish the proper power strategy when they design new embedded processor core...
130
Voted
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
102
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
110
Voted
DCC
2006
IEEE
16 years 10 days ago
2006
IEEE
A covering array CA(N; t, k, v) is an N ? k array such that every N ? t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. Coverin...