348 search results - page 59 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
APN
2010
Springer
14 years 8 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
ER
2007
Springer
13 years 11 months ago
2007
Springer
The Selfish-brain theory has created the theoretical basis for the systemic analysis of the energy metabolism in terms of a supply chain. The energy in form of glucose equivalents...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
—This paper introduces a new approach to develop robots that can learn general affordance relations from their experiences. Our approach is a part of larger efforts to develop a ...
ER
2010
Springer
13 years 5 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
APPROX
2005
Springer
14 years 1 months ago
2005
Springer
A large class of stochastic optimization problems can be modeled as minimizing an objective function f that depends on a choice of a vector x ∈ X, as well as on a random external...