1866 search results - page 187 / 374 » Dynamic instantiation-checking components |
103
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
165
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a novel error-resilient packet video coding method which is designed to operate on unreliable IP networks suffering from large bursts of packet losses. The mai...
148
click to vote
ISMAR
2005
IEEE
15 years 9 months ago
2005
IEEE
Paper-based cartographic maps provide highly detailed information visualisation with unrivalled fidelity and information density. Moreover, the physical properties of paper affor...
151
click to vote
MATA
2005
Springer
15 years 9 months ago
2005
Springer
Typical transmission control protocol (TCP) based web agents in mobile wireless environment have several deficiencies, such as performance degradation, head-of-line blocking, and u...