Sciweavers

904 search results - page 130 / 181
» Towards Integrating Business Policies with Business Processe...
Sort
View
WWW
2007
ACM
16 years 2 months ago
Towards the theoretical foundation of choreography
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
WCRE
2003
IEEE
15 years 6 months ago
Moving Towards Quality Attribute Driven Software Architecture Reconstruction
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
Christoph Stoermer, Liam O'Brien, Chris Verhoef
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 5 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
ICIS
1998
15 years 2 months ago
Toward a contingency view of infrastructure and knowledge: an exploratory study
IT infrastructures coupled with BPR initiatives have the potential of supporting and enabling new organizational forms and helping firms face the challenges of globalization. The ...
Claudio U. Ciborra, Ole Hanseth
IJSEKE
2006
138views more  IJSEKE 2006»
15 years 1 months ago
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
Igor Ivkovic, Kostas Kontogiannis