2060 search results - page 78 / 412 » The Composition of Event-B Models |
150
click to vote
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
150
Voted
JVCA
2006
15 years 4 months ago
2006
We present an efficient approach that merges the virtual objects into video sequences taken by a freely moving camera in a realistic manner. The composition is visually and geomet...
143
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
142
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
168
Voted
NN
2010
Springer
15 years 2 months ago
2010
Springer
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...