1759 search results - page 202 / 352 » Overview of Generative Software Development |
144
click to vote
CBSE
2011
Springer
14 years 24 days ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
103
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
124
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
133
Voted
HPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
The aIOLi project aims at optimizing the I/O accesses within the cluster by providing a simple POSIX API, thus avoiding the constraints to use a dedicated parallel I/O library. Th...
131
Voted
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—3GPP is in the process of defining the long-term evolution (LTE) for 3G radio access, sometimes referred to as Super3G, in order to maintain the future competitiveness o...