Sciweavers

208 search results - page 11 / 42
» A rationale-based architecture model for design traceability...
Sort
View
113
Voted
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
15 years 6 months ago
Establishing and maintaining compatibility in service oriented business collaboration
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
Bart Orriëns, Jian Yang
71
Voted
DAC
2004
ACM
16 years 1 months ago
System design for DSP applications in transaction level modeling paradigm
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
Abhijit K. Deb, Axel Jantsch, Johnny Öberg
TSE
2011
114views more  TSE 2011»
14 years 7 months ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
SIGSOFT
1998
ACM
15 years 4 months ago
Reasoning about Implicit Invocation
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...
David Garlan, Somesh Jha, David Notkin
110
Voted
FLAIRS
2000
15 years 1 months ago
Reasoning from Data Rather than Theory
Thecurrent frameworkfor constructing intelligent tutoring systems(ITS) is to use psychological/pedagogical theories of learning, and encode this knowledgeinto the tutor. However,t...
Joseph E. Beck, Beverly Park Woolf