1143 search results - page 15 / 229 » Language Models Based on Semantic Composition |
108
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
115
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
126
click to vote
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
103
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
109
click to vote
ISAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...