677 search results - page 96 / 136 » Rigorous Object-Oriented Analysis |
IADIS
2003
13 years 10 months ago
2003
The effects of the privatization and commercialization of Internet on world trade are often debated but few rigorous conclusions emerge. Such conclusions have not been based on in...
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
AUTOMATICA
2008
13 years 8 months ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
SIAMAM
2008
13 years 8 months ago
2008
We consider the inverse problem of electrical impedance tomography in a conducting half space, given electrostatic measurements on its boundary, i.e., a hyperplane. We first provid...
TVCG
1998
13 years 8 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...