Sciweavers

1554 search results - page 223 / 311
» cases 2003
Sort
View
KBSE
2003
IEEE
15 years 3 months ago
On the automatic evolution of an OS kernel using temporal logic and AOP
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
Rickard A. Åberg, Julia L. Lawall, Mario S&u...
LCN
2003
IEEE
15 years 3 months ago
Analysis of Prioritized Scheduling of Assured Forwarding in DiffServ Architectures
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...
Nzinga D. Kiameso, Hossam S. Hassanein, Hussein T....
LCN
2003
IEEE
15 years 3 months ago
Scheduling Nodes in Wireless Sensor Networks: A Voronoi Approach
A wireless sensor network is a special kind of ad-hoc network with distributed sensing and processing capability that can be used in a wide range of applications, such as environm...
Marcos Augusto M. Vieira, Luiz Filipe M. Vieira, L...
LCN
2003
IEEE
15 years 3 months ago
A Performance Study of Fast Handovers for Mobile IPv6
We conducted a simulative evaluation of the overall performance of Fast Handovers for Mobile IPv6 in comparison with the baseline Mobile IPv6 using the network simulator ns-2 for ...
Marc Torrent-Moreno, Xavier Pérez Costa, Se...
LICS
2003
IEEE
15 years 3 months ago
Polynomial-time Algorithms from Ineffective Proofs
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
Paulo Oliva