753 search results - page 136 / 151 » Fragments-based Model Reduction: Some Case Studies |
EUROCRYPT
2003
Springer
14 years 25 days ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
SODA
2008
ACM
13 years 9 months ago
2008
ACM
We study the behavior of random walks along the edges of the stable marriage lattice for various restricted families of allowable preference sets. In the "k-attribute model,&...
MCS
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. While a variety of multiple classifier systems have been studied since at least the late 1950's, this area came alive in the 90's with significant theoretical a...
ALT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Learning from streams is a process in which a group of learners separately obtain information about the target to be learned, but they can communicate with each other in ...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...