1837 search results - page 53 / 368 » Architecture = Abstractions over Software |
DATE
2002
IEEE
14 years 23 days ago
2002
IEEE
Third generation’s wireless communications systems comprise advanced signal processing algorithms that increase the computational requirements more than ten-fold over 2G’s sys...
PROFES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
RE
2001
Springer
14 years 7 days ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
ECOOPW
1998
Springer
14 years 23 hour ago
1998
Springer
This position paper takes as outset experience obtained during development of an object-oriented prototype for a global customer service system. The project involved a large shipp...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...