3045 search results - page 85 / 609 » Formal Approaches to Software Architecture |
DSVIS
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
107
click to vote
LION
2010
Springer
15 years 3 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
WOSS
2004
ACM
15 years 4 months ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
100
click to vote
JSS
2008
14 years 11 months ago
2008
Software architecture documentation helps people in understanding the software architecture of a system. In practice, software architectures are often documented after the fact, i...
175
click to vote
ICDE
2007
IEEE
16 years 9 days ago
2007
IEEE
One very important application in the data mining domain is frequent pattern mining. Various authors have worked on improving the efficiency of this computation, mostly focusing o...