6079 search results - page 443 / 1216 » Aspect-Oriented Process Engineering |
163
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...
169
click to vote
ICSM
1994
IEEE
15 years 11 months ago
1994
IEEE
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
223
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
189
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
163
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we describe the process of mining complex relationships in spatial databases using the Maximal Participation Index (maxPI), which has a property of discovering low s...