Sciweavers

1320 search results - page 53 / 264
» A View Based Analysis of Workflow Modeling Languages
Sort
View
ROOM
2000
15 years 1 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
ICSE
1999
IEEE-ACM
15 years 4 months ago
A Language and Environment for Architecture-Based Software Development and Evolution
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
Nenad Medvidovic, David S. Rosenblum, Richard N. T...
CAIP
2005
Springer
152views Image Analysis» more  CAIP 2005»
15 years 5 months ago
Face Modeling and Adaptive Texture Mapping for Model Based Video Coding
3D facial synthesis has been frequently used in model based video coding applications and became popular in various multimedia applications. In this paper a 3D face model, its adap...
Kamil Yurtkan, Hamit Soyel, Hasan Demirel, Hü...
ECOOP
1992
Springer
15 years 3 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
Svend Frølund
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 6 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...