6881 search results - page 397 / 1377 » Motivation |
165
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
182
click to vote
ANTSW
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we present an approach to the cooperative transport of multiple objects in swarm robotics. The approach is motivated by the observation that the performance of cooper...
174
click to vote
APWEB
2008
Springer
15 years 9 months ago
2008
Springer
Recent models have introduced the notion of dimensions and hierarchies in social networks. These models motivate the mining of small world graphs under a new perspective. We exempl...
159
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
205
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...