Sciweavers

492 search results - page 72 / 99
» Change Measurements in an SCM Process
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
14 years 2 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
COMSWARE
2006
IEEE
14 years 2 months ago
Impact of video encoding parameters on dynamic video transcoding
Currently there are a wide variety of devices with different screen resolutions, color support, processing power, and network connectivity, capable of receiving streaming video fr...
Vidyut Samanta, Ricardo V. Oliveira, Advait Dixit,...
IEEEARES
2006
IEEE
14 years 2 months ago
A Reference Model for Authentication and Authorisation Infrastructures Respecting Privacy and Flexibility in b2c eCommerce
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...
Christian Schläger, Thomas Nowey, José...
INFOCOM
2006
IEEE
14 years 2 months ago
Controlled Flooding Search with Delay Constraints
— In this paper we consider the problem of query and search in a network, e.g., searching for a specific node or a piece of data. We limit our attention to the class of TTL (tim...
Nicholas B. Chang, Mingyan Liu
CASES
2006
ACM
14 years 2 months ago
Adaptive and flexible dictionary code compression for embedded applications
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...
Mats Brorsson, Mikael Collin