3906 search results - page 258 / 782 » From grids to places |
121
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Identifiers are an essential component of online communication. My research focuses on the ways that social, technical and policy factors affect people’s behavior with online...
172
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
149
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
191
click to vote
SASO
2007
IEEE
16 years 26 days ago
2007
IEEE
Robots in a swarm construction system need to be able to find their way to all potential places to add material to a structure. In two dimensions, a (trivial) procedure exists fo...
147
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Mobile technologies aim to assist people as they move from place to place going about their daily work and social routines. Established and very popular mobile technologies include...