746 search results - page 91 / 150 » Formal Analysis of UML-Based Designs |
158
click to vote
MEDIAFORENSICS
2010
15 years 10 days ago
2010
One of the critical steps in designing a secure biometric system is protecting the templates of the users that are stored either in a central database or on smart cards. If a biom...
211
click to vote
GIS
2007
ACM
16 years 3 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
UIST
1997
ACM
15 years 6 months ago
1997
ACM
We report results from a formal user study of interactive 3D rotation using the mouse-driven Virtual Sphere and Arcball techniques, as well as multidimensional input techniques ba...
132
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
121
click to vote
MSWIM
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...