Sciweavers

597 search results - page 70 / 120
» Towards an MDA-Oriented Methodology
Sort
View
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
15 years 5 months ago
An effective technique for minimizing the cost of processor software-based diagnosis in SoCs
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...
Paolo Bernardi, Ernesto Sánchez, Massimilia...
ISCAS
2006
IEEE
124views Hardware» more  ISCAS 2006»
15 years 5 months ago
Systematic design flow for dynamic data management in visual texture decoder of MPEG-4
Abstract— There is a clear trend of future embedded systems in moving toward wireless, multimedia, multi-functional and ubiquitous applications. This emerges new challenges in th...
Alexandros Bartzas, Miguel Peón Quiró...
UIST
2006
ACM
15 years 5 months ago
Interacting with dynamically defined information spaces using a handheld projector and a pen
The recent trend towards miniaturization of projection technology indicates that handheld devices will soon have the ability to project information onto any surface, thus enabling...
Xiang Cao, Ravin Balakrishnan
EMISA
2005
Springer
15 years 5 months ago
Unbundling and Deploying CRM Applications as e-Services
: The development of Customer Relationship Management (CRM) capabilities by incrementally sourcing and combining “best of breed” services from different providers is a key leve...
Pedro R. Falcone Sampaio, Yong He
ESOP
2005
Springer
15 years 5 months ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg