1653 search results - page 298 / 331 » Timed analysis of security protocols |
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Social networking has become a popular way for users to meet and interact online. Users spend a significant amount of time on popular social network platforms (such as Facebook, M...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
URBAN
2011
13 years 2 months ago
2011
This paper reports on the development and application of strategies and tools for geographic information seeking and knowledge building that leverages unstructured text resources ...
ISI
2006
Springer
13 years 7 months ago
2006
Springer
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...