3281 search results - page 507 / 657 » An Approach to use Executable Models for Testing |
SP
1998
IEEE
14 years 2 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
MIDDLEWARE
2005
Springer
14 years 3 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
ISLPED
1999
ACM
14 years 2 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...