9110 search results - page 402 / 1822 » Formally-Based Design Evaluation |
159
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents an optimized design approach of two’s complement large-size squarers using embedded multipliers in FPGAs. The realization is based on BaughWooley’s algorit...
212
click to vote
IUSED
2008
15 years 8 months ago
2008
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...
182
click to vote
IADIS
2003
15 years 8 months ago
2003
In order to understand and enhance the value of new media in education it is necessary to develop criteria for the evaluation of the effectiveness of learning with hypermedia envi...
212
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
Near Field Communication (NFC) can facilitate mobile interaction with everyday objects, associated digital information and ubiquitous services. Despite the simplicity of the touch...
205
click to vote
AVI
2010
15 years 7 months ago
2010
This paper presents a research project on the design of a cross-channel information management tool for knowledge workers: we focus on IT services professionals in a large enterpr...