3425 search results - page 344 / 685 » A Model Driven Approach for Software Systems Reliability |
123
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
134
click to vote
RISE
2005
Springer
15 years 10 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
133
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
172
click to vote
CN
2004
15 years 4 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
157
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...