517 search results - page 84 / 104 » Specification transformers: a predicate transformer approach... |
ICPADS
2005
IEEE
14 years 2 months ago
2005
IEEE
In order to support real-time video, audio and data communication among heterogeneous third generation (3G) handsets, 3G phones/terminals are required to support 3G-324M, the mult...
ICCAD
1997
IEEE
14 years 20 days ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
CAISE
2009
Springer
14 years 13 days ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
CHES
2010
Springer
13 years 9 months ago
2010
Springer
Measurement errors make power analysis attacks difficult to mount when only a single power trace is available: the statistical methods that make DPA attacks so successful are not a...