3256 search results - page 542 / 652 » Applications of Formal Methods to System Design and Verifica... |
NDQA
2003
14 years 11 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
A good amount of research has been developed to support QoS issues in IEEE 802.11 ad hoc networks, such as QoS routing, MAC layer QoS support, and cross-layer QoS design. However,...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
BCSHCI
2009
14 years 11 months ago
2009
This paper presents a comparative analysis of group interaction around two display types, shared and individual, using a `new media' arts application as a way to explore the ...
FGCS
2007
14 years 9 months ago
2007
— The performance and efficiency of Web Services can be greatly increased in conversational and streaming message exchanges by streaming the message exchange paradigm. In this pa...