Sciweavers

823 search results - page 103 / 165
» Model replication: transformations to address model scalabil...
Sort
View
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
15 years 4 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...
WICSA
2004
14 years 11 months ago
Style-Based Refinement of Dynamic Software Architectures
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
EFDBS
2000
14 years 11 months ago
Adding Conflict Resolution Features to a Query Language for Database Federations
A main problem of data integration is the treatment of conflicts caused by different modeling of real-world entities, different data models or simply by different representations ...
Kai-Uwe Sattler, Stefan Conrad, Gunter Saake
APAL
2010
113views more  APAL 2010»
14 years 10 months ago
Logic for update products and steps into the past
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
Joshua Sack
SIAMAM
2010
90views more  SIAMAM 2010»
14 years 8 months ago
A Stochastic Analysis of a Greedy Routing Scheme in Sensor Networks
We address the stochastic characteristics of a recently-proposed greedy routing scheme. The stochastic behaviour of individual hop advancements is examined to observe the overall ...
H. Paul Keeler, P. G. Taylor