641 search results - page 11 / 129 » An Architectural Approach to Mobility - The Handover Case St... |
EUROMED
2010
14 years 10 months ago
2010
Abstract. We explain our approach for verifying the accuracy of 3D CG manual modeling of the Citadel of Bam, which is an architectural heritage site destroyed by an earthquake in 2...
ISADS
2003
IEEE
15 years 5 months ago
2003
IEEE
Coordinating the activities of distributed autonomous entities challenges traditional approaches to distributed coordination and calls for new paradigms and supporting middleware....
IJDSN
2007
14 years 11 months ago
2007
We propose to develop wireless Sensor Networks with Mobile Sinks (MSSN), under high sensor node density, where multiple sensor nodes need to share one single communication channel...
115
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
—Nowadays, several industrial applications are being ported to parallel architectures. These applications take advantage of the potential parallelism provided by multiple core pr...
103
click to vote
FAC
2007
14 years 11 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...