3388 search results - page 466 / 678 » Type-theoretic design patterns |
183
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
307
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
While performance, area, and power constraints have been the driving force in designing current communication-enabled embedded systems, post-fabrication and run-time adaptability ...
182
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
151
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
159
click to vote
ISQED
2010
IEEE
15 years 11 months ago
2010
IEEE
— This paper proposes a two-dimensional scan shift control concept for multiple scan chain design. Multiple scan chain test scheme provides very low scan power by skipping many l...