4211 search results - page 678 / 843 » Types as Abstract Interpretations |
140
click to vote
C5
2007
IEEE
15 years 11 months ago
2007
IEEE
3D virtual environments like Croquet need to be attractive in order to be visited and used. Their attractiveness depends on the level of vitality that the user is able to experien...
171
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...
145
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this paper, we propose an unequal error protection (UEP) framework for progressive image transmission over wireless networks with both random errors and packet loss....
129
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
122
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—In this paper, we focus on applications with quantitative QoS (Quality of Service) requirements in their end-toend response time. Two types of quantitative QoS garantees...