310 search results - page 23 / 62 » Scenario-based Validation of Embedded Systems |
107
click to vote
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
112
click to vote
MIDDLEWARE
2010
Springer
14 years 8 months ago
2010
Springer
Enterprise distributed real-time and embedded (DRE) publish/subscribe (pub/sub) systems manage resources and data that are vital to users. Cloud computing—where computing resourc...
ISICT
2003
14 years 11 months ago
2003
In this paper we present a genetic approach for the efficient generation of an encoder to minimize switching activity on the high-capacity lines of a communication bus. The appro...
77
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...