5407 search results - page 803 / 1082 » The Software Engineering Global Model |
179
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
205
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...
219
click to vote
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
230
click to vote
COMPSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
168
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...