Sciweavers

497 search results - page 85 / 100
» Compositional Matrix-Space Models of Language
Sort
View
AOSD
2008
ACM
14 years 11 months ago
Tool-supported refactoring of aspect-oriented programs
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
Jan Wloka, Robert Hirschfeld, Joachim Hänsel
77
Voted
TSMC
2010
14 years 4 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
73
Voted
BPM
2008
Springer
132views Business» more  BPM 2008»
14 years 11 months ago
On Modeling and Maximizing Business Value for Autonomic Service-Oriented Systems
Abstract. The existing Web service management solutions are almost exclusively focused on optimization of technical QoS metrics (e.g., availability). However, financial (e.g., prof...
Vladimir Tosic
FTRTFT
2000
Springer
15 years 1 months ago
Modeling Faults of Distributed, Reactive Systems
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
Max Breitling
EVOW
2006
Springer
15 years 1 months ago
A Connectionist Architecture for the Evolution of Rhythms
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
João Magalhães Martins, Eduardo Reck...