Sciweavers

2658 search results - page 465 / 532
» On efficient balanced codes
Sort
View
NOMS
2002
IEEE
131views Communications» more  NOMS 2002»
15 years 9 months ago
Tools for domain-based policy management of distributed systems
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...
Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...
ICN
2001
Springer
15 years 8 months ago
QoS Guaranteed Voice Traffic Multiplexing Scheme over VoIP Network Using DiffServ
The current VoIP transfer methods using low bit rate codes such as G.723.1 and G.729 are still very inefficient due to its small payload size in comparison with its large overhead ...
Eun-Ju Ha, Joon-Heup Kwon, Jong-Tae Park
ICSE
2001
IEEE-ACM
15 years 8 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
MSE
2000
IEEE
174views Hardware» more  MSE 2000»
15 years 8 months ago
Integrating a Digital Camera in the Home Environment: Architecture and Prototype
Electronic photography is gaining parts of the photography market and tends to replace gradually all argentic photography. The combination of digital camera and computer technolog...
Nadia Bennani
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
15 years 8 months ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...