348 search results - page 59 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
124
click to vote
APN
2010
Springer
15 years 6 months 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...
120
click to vote
ER
2007
Springer
15 years 5 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
15 years 8 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 ...
135
click to vote
ER
2010
Springer
14 years 12 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...
116
click to vote
APPROX
2005
Springer
15 years 7 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...