Sciweavers

570 search results - page 22 / 114
» SGNET: Implementation insights
Sort
View
PSYCHNOLOGY
2008
112views more  PSYCHNOLOGY 2008»
13 years 8 months ago
Tags and the City
This paper analyzes the findings of a set of field studies that explored the use of near field communication (NFC) tags in a mixed reality environment for providing access to digi...
Minna Isomursu
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
13 years 7 months ago
"Architectural Robotics": An interdisciplinary course rethinking the machines we live in
Abstract— We discuss disciplinary barriers which have traditionally prevented robotics from significantly impacting the built (architectural) environment we inhabit. Specifical...
Apoorva Kapadia, Ian D. Walker, Keith Evan Green, ...
CCS
2010
ACM
13 years 6 months ago
Developing security protocols by refinement
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...
Christoph Sprenger, David A. Basin
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
13 years 5 months ago
A Dynamic Network Interdiction Problem
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
Brian J. Lunday, Hanif D. Sherali
ANOR
2011
169views more  ANOR 2011»
13 years 3 days ago
Predetermined intervals for start times of activities in the stochastic project scheduling problem
This paper proposes a new methodology to schedule activities in projects with stochastic activity durations. The main idea is to determine for each activity an interval in which th...
Illana Bendavid, Boaz Golany