2282 search results - page 398 / 457 » Active property checking |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
ICDM
2008
IEEE
14 years 4 months ago
2008
IEEE
A common task of recommender systems is to improve customer experience through personalized recommendations based on prior implicit feedback. These systems passively track differe...
ISECS
2008
IEEE
14 years 4 months ago
2008
IEEE
Buyer-seller watermarking protocols incorporate digital watermarking with cryptography, in order to protect digital copyrights and privacy rights for the seller and the buyer befo...
SMI
2008
IEEE
14 years 4 months ago
2008
IEEE
Wireframe is a modeling tool widely used in industrial geometric design. The term wireframe refers to two sets of curves, with the property that each curve from one set intersects...