1646 search results - page 162 / 330 » Automatic generation of two-party computations |
117
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
116
click to vote
ISVC
2005
Springer
15 years 7 months ago
2005
Springer
The Ambient Intelligence (AmI) paradigm requires a robust interpretation of people actions and behaviour and a way for automatically generating persistent spatial-temporal models o...
106
Voted
TES
2005
Springer
15 years 7 months ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
144
click to vote
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...