8 search results - page 1 / 2 » icess 2004 |
ICESS
2004
Springer
13 years 10 months ago
2004
Springer
ICESS
2004
Springer
13 years 10 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
13 years 10 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
13 years 10 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
13 years 10 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...