12981 search results - page 2268 / 2597 » Model Checking (Abstract) |
131
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Masking is a general method used to thwart Differential Power Analysis, in which all the intermediate data inside an implementation are XORed with random Boolean values...
146
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
These days, billions of Web pages are created with HTML or other markup languages. They only have a few uniform structures and contain various authoring styles compared to traditi...
144
click to vote
MOBIQUITOUS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— In future generation networks, various access technologies, such as Wi-Fi, Bluetooth, GPRS and UMTS, etc., are simultaneously available to mobile devices. They vary in ...
133
click to vote
TRIDENTCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
127
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...