2597 search results - page 242 / 520 » A Relational Approach to Support Software Architecture Analy... |
149
click to vote
CSCW
2004
ACM
16 years 12 hour ago
2004
ACM
Scientific collaboration is largely focused on the sharing and joint analysis of scientific data and results. Today, a movement is afoot within the scientific computing community ...
148
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
175
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
166
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
174
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...