Sciweavers

7825 search results - page 149 / 1565
» Physics
Sort
View
APLAS
2005
ACM
15 years 10 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
WOWMOM
2005
ACM
111views Multimedia» more  WOWMOM 2005»
15 years 10 months ago
Performance Analysis of the IEEE 802.11 MAC and Physical Layer Protocol
We present in this paper an analytical model that accounts for the positions of stations with respect to the Access Point (AP) while evaluating the performance of 802.11 MAC layer...
Mohammad Hossein Manshaei, Gion Reto Cantieni, Cha...
XIMEP
2005
ACM
71views Database» more  XIMEP 2005»
15 years 10 months ago
XML Access Modules: Towards Physical Data Independence in XML Databases
Andrei Arion, Véronique Benzaken, Ioana Man...
FC
2005
Springer
99views Cryptology» more  FC 2005»
15 years 10 months ago
Information-Theoretic Security Analysis of Physical Uncloneable Functions
Pim Tuyls, Boris Skoric, S. Stallinga, Anton H. M....
IMA
2005
Springer
85views Cryptology» more  IMA 2005»
15 years 10 months ago
The Physically Observable Security of Signature Schemes
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
Alexander W. Dent, John Malone-Lee