1301 search results - page 89 / 261 » Specifications via Realizability |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...
MM
2010
ACM
13 years 9 months ago
2010
ACM
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
VTS
2005
IEEE
14 years 4 months ago
2005
IEEE
† In digital radio applications, error-vector-magnitude (EVM) is the primary specification which quantifies the performance of digital modulation implemented in silicon. Producti...
ICSNW
2004
Springer
14 years 4 months ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...