Sciweavers

1147 search results - page 173 / 230
» Termination in language-based systems
Sort
View
INFSOF
2006
73views more  INFSOF 2006»
13 years 10 months ago
Theory and algorithms for slicing unstructured programs
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...
Mark Harman, Arun Lakhotia, David Binkley
CORR
2007
Springer
156views Education» more  CORR 2007»
13 years 10 months ago
Analysis of a Mixed Strategy for Multiple Relay Networks
Abstract— Infrastructure based wireless communications systems as well as ad hoc networks experience a growing importance in present-day telecommunications. An increased density ...
Peter Rost, Gerhard Fettweis
EI
2007
94views more  EI 2007»
13 years 10 months ago
Ball appearance improvement in low-resolution soccer videos
Abstract— Multimedia transmissions, especially sports transmissions, are an important share of the services offered by mobile network operators. Due to limited capacity, lossy co...
Martin Wrulich, Olivia Nemethova, Luca Superiori, ...
COMCOM
2004
177views more  COMCOM 2004»
13 years 9 months ago
Analysis of SIP-based mobility management in 4G wireless networks
Providing seamless mobility support is one of the most challenging problems towards the system integration of fourth generation (4G) wireless networks. Because of the transparency...
Nilanjan Banerjee, Wei Wu, Kalyan Basu, Sajal K. D...
COMCOM
2000
148views more  COMCOM 2000»
13 years 9 months ago
Advanced service provisioning based on mobile agents
Service provisioning is currently a challenging issue to offer future telecommunication services efficiently and at the same time in a flexible and user friendly manner. As a cont...
Peyman Farjami, Carmelita Görg, Frank Bell