20126 search results - page 361 / 4026 » Timed Transition Systems |
150
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...
184
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
149
click to vote
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
183
click to vote
WORDS
2005
IEEE
15 years 10 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...
178
Voted
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...