3564 search results - page 265 / 713 » Evaluating a Formal Modelling Language |
182
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
177
click to vote
DFG
2003
Springer
15 years 11 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
185
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
147
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...