10072 search results - page 217 / 2015 » Composition of Model Programs |
194
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
169
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
154
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
159
click to vote
WCE
2007
15 years 7 months ago
2007
—This study comprises finite element simulations and experimental studies of the shape memory effect due to the presence of SMA (shape memory alloy) wires in composite materials....
154
click to vote
ENTCS
2010
15 years 6 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...