5457 search results - page 136 / 1092 » Software Component Independence |
90
Voted
EMISA
2002
Springer
15 years 17 days ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
83
Voted
ICSE
2003
IEEE-ACM
16 years 26 days ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
100
click to vote
SIGSOFT
1998
ACM
15 years 5 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
100
click to vote
SOFTWARE
1998
15 years 13 days ago
1998
A software component is typically modeled from one or more of four functional aspects: interface, static behavior, dynamic behavior, and interaction protocol. Each of these aspect...
113
click to vote
ICA
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, we propose a Bayesian estimation approach to extend independent subspace analysis (ISA) for an overcomplete representation without imposing the orthogonal constraint...