3765 search results - page 584 / 753 » Qualitative Action Systems |
197
click to vote
PRDC
2009
IEEE
16 years 25 days ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
192
Voted
CRYPTO
2009
Springer
16 years 21 days ago
2009
Springer
We study the design of cryptographic primitives resilient to key-leakage attacks, where an attacker can repeatedly and adaptively learn information about the secret key, subject o...
176
click to vote
CANDC
2009
ACM
16 years 19 days ago
2009
ACM
Crafters today blend age-old techniques such as weaving and pottery with new information and communication technologies such as podcasts, online instructions, and blogs. This inte...
188
click to vote
MIR
2010
ACM
16 years 18 days ago
2010
ACM
Typical tag recommendation systems for photos shared on social networks such as Flickr, use visual content analysis, collaborative filtering or personalization strategies to prod...
189
click to vote
TACAS
2007
Springer
16 years 6 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...