3458 search results - page 260 / 692 » Abstracting Control |
122
click to vote
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
143
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
149
Voted
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
157
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
153
click to vote
ECCV
1998
Springer
16 years 5 months ago
1998
Springer
Abstract. We show that we can e ectively t arbitrarily complex animation models to noisy image data. Our approach is based on leastsquares adjustment using of a set of progressivel...