Sciweavers

3771 search results - page 124 / 755
» Subobject Transformation Systems
Sort
View
144
Voted
EPK
2006
114views Management» more  EPK 2006»
15 years 4 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
138
Voted
RULEML
2010
Springer
15 years 1 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...
169
Voted
SOSYM
2010
176views more  SOSYM 2010»
15 years 1 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
122
Voted
CC
2007
Springer
109views System Software» more  CC 2007»
15 years 9 months ago
Layout Transformations for Heap Objects Using Static Access Patterns
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
Jinseong Jeon, Keoncheol Shin, Hwansoo Han
114
Voted
HICSS
2006
IEEE
97views Biometrics» more  HICSS 2006»
15 years 9 months ago
Organizational Transformation through Business Models: A Framework for Business Model Design
Organizations are increasingly inter-connected as they source talent, goods and services from other organizations located in disparate parts of the world. They seek new ways of cr...
Peter Keen, Sajda Qureshi