Sciweavers

3142 search results - page 40 / 629
» A formal approach for designing CORBA based applications
Sort
View
DAC
2002
ACM
14 years 9 months ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer
IHIS
2005
ACM
14 years 2 months ago
An architecture for the interoperability of workflow models
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlid...
ICSOFT
2007
13 years 10 months ago
Solving Design Issues in Web Meta-Model Approach to Support End-User Development
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
Buddhima De Silva, Athula Ginige
ESAW
2000
Springer
14 years 9 days ago
Formal Specification and Prototyping of Multi-agent Systems
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-P...
ASWEC
2008
IEEE
13 years 10 months ago
Towards Formalizing Resource Based Non-conformance in Business
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...
Sean Thompson, Torab Torabi