Sciweavers

368 search results - page 22 / 74
» Compositional performance modelling with the TIPPtool
Sort
View
82
Voted
WCE
2007
14 years 10 months ago
FEA and Experimental Studies of Adaptive Composite Materials with SMA Wires
—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....
K. Kanas, Constantina Lekakou, N. Vrellos
67
Voted
FMCAD
2006
Springer
15 years 1 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
APN
2009
Springer
15 years 4 months ago
Monotonicity in Service Orchestrations
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
Anne Bouillard, Sidney Rosario, Albert Benveniste,...
85
Voted
ICASSP
2009
IEEE
14 years 7 months ago
Spoken language interpretation: On the use of dynamic Bayesian networks for semantic composition
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
Marie-Jean Meurs, Fabrice Lefevre, Renato de Mori
INFOCOM
2006
IEEE
15 years 3 months ago
Minimum User-Perceived Interference Routing in Service Composition
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
Li Xiao, Klara Nahrstedt