10038 search results - page 1884 / 2008 » Model Checking for Managers |
112
Voted
VEE
2010
ACM
15 years 7 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
100
click to vote
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
Privacy models such as k-anonymity and -diversity typically offer an aggregate or scalar notion of the privacy property that holds collectively on the entire anonymized data set....
122
Voted
ICAC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
115
click to vote
MDM
2009
Springer
15 years 7 months ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
111
click to vote
SIGECOM
2009
ACM
15 years 7 months ago
2009
ACM
Voting trees describe an iterative procedure for selecting a single vertex from a tournament. vide a very general abstract model of decision-making among a group of individuals, a...