10156 search results - page 250 / 2032 » Step by Step to Histories |
174
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Quality attribute models are proposed as the linkage between a specification of a quality attribute requirement and a design fragment that is focused on achieving that requirement...
161
Voted
DCC
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper presents a scheme to design directional lapped transforms. Lapped transforms can be factorized into lifting steps. By introducing directional operator into each lifting...
278
click to vote
STOC
2010
ACM
16 years 4 months ago
2010
ACM
We ask the question ? how can websites and data aggregators continually release updated statistics, and meanwhile preserve each individual user's privacy? We propose a differ...
156
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
173
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
- This paper performs analysis and design of latches and flip-flops while considering the effect of event upsets caused by energetic particle hits. First it is shown that the conve...