Sciweavers

3771 search results - page 339 / 755
» Subobject Transformation Systems
Sort
View
APN
1997
Springer
15 years 8 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
ICECCS
1995
IEEE
228views Hardware» more  ICECCS 1995»
15 years 8 months ago
A combined functional and object-oriented approach to software design
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction. The pure object-orienteddesign and structured des...
Haifeng Qian, Eduardo B. Fernández, Jie Wu
PROCEDIA
2010
148views more  PROCEDIA 2010»
14 years 11 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
CORR
2009
Springer
242views Education» more  CORR 2009»
15 years 2 months ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
SIGSOFT
2003
ACM
15 years 10 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...