2911 search results - page 361 / 583 » A Theory of Expressiveness in Mechanisms |
117
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: We establish that the occurrence of protein folds among genomes can be accurately described with a Weibull function. Systems which exhibit Weibull character can be int...
87
Voted
JCC
2010
15 years 9 days ago
2010
: The electron and proton transfer in phenol-imidazole-base systems (base 5 NH2 2 or OH2 ) were investigated by density-functional theory calculations. In particular, the role of b...
149
Voted
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
135
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
118
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...