113 search results - page 14 / 23 » Compositional Abstraction of PEPA Models for Transient Analy... |
72
Voted
TAOSD
2010
14 years 8 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
ICALP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
TSMC
2010
14 years 4 months ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
SAS
2007
Springer
15 years 3 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
84
Voted
GI
2005
Springer
15 years 3 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...