Sciweavers

663 search results - page 40 / 133
» Interactive Realizers and Monads
Sort
View
ATAL
2006
Springer
14 years 1 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
SCAI
2008
13 years 11 months ago
A Framework For Human-Aware Robot Planning
Abstract. Robots that share their workspace with humans, like household or service robots, need to take into account the presence of humans when planning their actions. In this pap...
Marcello Cirillo, Lars Karlsson, Alessandro Saffio...
ICFP
2006
ACM
14 years 9 months ago
Delimited dynamic binding
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
DIAGRAMS
2010
Springer
13 years 10 months ago
Fragments of Spider Diagrams of Order and Their Relative Expressiveness
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
Aidan Delaney, Gem Stapleton, John Taylor, Simon J...
EUROMICRO
2009
IEEE
14 years 4 months ago
The Cycle of Trust in Mixed Service-Oriented Systems
—Many collaboration platforms are realized as service-oriented systems enabling flexible compositions of services and support of interactions. Interactions between entities in s...
Florian Skopik, Daniel Schall, Schahram Dustdar