Sciweavers

194 search results - page 30 / 39
» Towards A Formal Framework for Business Process Compliance
Sort
View
JLP
2008
121views more  JLP 2008»
13 years 7 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
DOLAP
2010
ACM
13 years 6 months ago
Towards OLAP query reformulation in peer-to-peer data warehousing
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
Matteo Golfarelli, Federica Mandreoli, Wilma Penzo...
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 10 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
WCRE
2003
IEEE
14 years 1 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
CASCON
2008
255views Education» more  CASCON 2008»
13 years 10 months ago
Autonomic tuning expert: a framework for best-practice oriented autonomic database tuning
Databases are growing rapidly in scale and complexity. High performance, availability, and further service level agreements need to be satisfied under any circumstances to please ...
David Wiese, Gennadi Rabinovitch, Michael Reichert...