Sciweavers

3294 search results - page 308 / 659
» Taxonomy of Process Modeling Languages
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
IS
2011
14 years 11 months ago
Checking determinism of XML Schema content models in optimal time
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
Pekka Kilpeläinen
CF
2006
ACM
15 years 10 months ago
Morphogenesis as an amorphous computation
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
Arnab Bhattacharyya
UML
2005
Springer
15 years 9 months ago
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
Jules White, Douglas C. Schmidt, Aniruddha S. Gokh...
NLPRS
2001
Springer
15 years 8 months ago
GLR Parser with Conditional Action Model(CAM)
There are two different approaches in the LR parsing. The first one is the deterministic approach that performs the only one action using the control rules learned without any LR ...
Yong-Jae Kwak, Young-Sook Hwang, Hoo-Jung Chung, S...