597 search results - page 70 / 120 » Towards an MDA-Oriented Methodology |
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
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...
105
click to vote
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
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...
UIST
2006
ACM
15 years 5 months ago
2006
ACM
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...
EMISA
2005
Springer
15 years 5 months ago
2005
Springer
: The development of Customer Relationship Management (CRM) capabilities by incrementally sourcing and combining “best of breed” services from different providers is a key leve...
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
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...