Sciweavers

31686 search results - page 361 / 6338
» Resource typing in Guru
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
A Typed Generic Process Model for Product Focused Process Improvement
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
Manoranjan Satpathy, Rachel Harrison
146
Voted
CSFW
2000
IEEE
15 years 10 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
177
Voted
HICSS
2000
IEEE
146views Biometrics» more  HICSS 2000»
15 years 10 months ago
Transmission of MPEG-2 Encoded VoD Services over Wireless Access Networks Using Type-II Hybrid ARQ Schemes with RCPC Codes
In this paper, we investigate the e ectiveness of applying type-II hybrid ARQ schemes to the transmission of MPEG-2 encoded video streams over xed wireless links in broadband xed ...
Hairuo Ma, Magda El Zarki
151
Voted
ECOOP
2000
Springer
15 years 10 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
DASFAA
2010
IEEE
252views Database» more  DASFAA 2010»
15 years 10 months ago
Effectively Inferring the Search-for Node Type in XML Keyword Search
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...
Jiang Li, Junhu Wang