Sciweavers

265 search results - page 35 / 53
» aime 2001
Sort
View
DIGITALCITIES
2001
Springer
14 years 19 hour ago
Connecting Digital and Physical Cities
As a platform for community networks, public information spaces that mirror the city metaphor are being developed around the world. The aim of digital cities is to pursue a future ...
Toru Ishida, Hiroshi Ishiguro, Hideyuki Nakanishi
ER
2001
Springer
128views Database» more  ER 2001»
14 years 17 hour ago
Pockets of Flexibility in Workflow Specification
: Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow impl...
Shazia W. Sadiq, Wasim Sadiq, Maria E. Orlowska
FM
2001
Springer
118views Formal Methods» more  FM 2001»
14 years 14 hour ago
Avoiding State Explosion for Distributed Systems with Timestamps
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
Fabrice Derepas, Paul Gastin, David Plainfoss&eacu...
ICIAP
2001
Springer
13 years 12 months ago
Neural Network Analysis of MINERVA Scene Analysis Benchmark
Scene analysis is an important area of research with the aim of identifying objects and their relationships in natural scenes. MINERVA benchmark has been recently introduced in th...
Markos Markou, Sameer Singh, Mona Sharma
ICOIN
2001
Springer
13 years 12 months ago
Pervasive Adaptation for Mobile Computing
Mobile Computing platforms such as mobile phones, PDAs or wearable computers operate in a much more volatile and limited environment than their stationary counterparts. Such platf...
Tim Edmonds, Andy Hopper, Steve Hodges