2025 search results - page 130 / 405 » Minimal-Cut Model Composition |
ER
2003
Springer
14 years 2 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...
ASIAN
2006
Springer
14 years 24 days 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...
WCE
2007
13 years 10 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....
ENTCS
2010
13 years 9 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 ...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...