8 search results - page 1 / 2 » icess 2004 |
ICESS
2004
Springer
14 years 4 months ago
2004
Springer
ICESS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
ICESS
2004
Springer
14 years 4 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
ICESS
2004
Springer
14 years 4 months ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
ICESS
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...