Sciweavers

4454 search results - page 535 / 891
» Designing components for e-services
Sort
View
WORDS
2005
IEEE
16 years 12 days ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
WSE
2005
IEEE
16 years 12 days ago
Developing Component-based Adaptive Web Applications with the AMACONTBuilder
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
Zoltán Fiala, Michael Hinz, Klaus Meiß...
APLAS
2005
ACM
16 years 12 days ago
Race Conditions in Message Sequence Charts
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
Chien-An Chen, Sara Kalvala, Jane Sinclair
ISLPED
2005
ACM
84views Hardware» more  ISLPED 2005»
16 years 12 days ago
Hierarchical power management with application to scheduling
This paper presented a hierarchical power management architecture which aims to facilitate power-awareness in an Energy-Managed Computer (EMC) system with multiple components. The...
Peng Rong, Massoud Pedram
POPL
2005
ACM
16 years 11 days ago
Specifying Kerberos 5 cross-realm authentication
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov,...