2597 search results - page 138 / 520 » A Relational Approach to Support Software Architecture Analy... |
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
CBSE
2006
Springer
14 years 12 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we discuss several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. We consider ...
132
click to vote
APAL
2011
14 years 5 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...