12981 search results - page 2268 / 2597 » Model Checking (Abstract) |
169
click to vote
ITCC
2005
IEEE
16 years 8 days 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...
188
click to vote
ITCC
2005
IEEE
16 years 8 days 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...
180
click to vote
MOBIQUITOUS
2005
IEEE
16 years 8 days 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 ...
174
click to vote
TRIDENTCOM
2005
IEEE
16 years 8 days 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...
174
click to vote
WECWIS
2005
IEEE
16 years 7 days 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 ...