6274 search results - page 630 / 1255 » Proofs, Programs, Processes |
182
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
— Sakurai-Newton (SN) delay metric [1] is a widely used closed form delay metric for CMOS gates because of simplicity and reasonable accuracy. Nevertheless it can be shown that t...
225
click to vote
WOWMOM
2006
ACM
16 years 1 months ago
2006
ACM
: Nowadays many organisations share sensitive services through open network systems and this raises the need for an authorization framework that can interoperate even when the part...
187
click to vote
BIRTHDAY
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
173
click to vote
MABS
2004
Springer
16 years 17 days ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
173
click to vote
PCM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...