178 search results - page 9 / 36 » Balance in Systems of Finite Sets with Applications |
66
Voted
IPL
2006
14 years 9 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...
115
click to vote
MACE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
112
click to vote
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Today's file sharing networks are creating potential security problems to enterprise networks, i.e., the leakage of confidential documents. In order to prevent such ...
FM
2005
Springer
15 years 3 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
112
click to vote
SIGGRAPH
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...