5128 search results - page 696 / 1026 » When Abstraction Fails |
207
click to vote
ICCSA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Due to an increasing number of portable devices over 785million world Internet users, a support for quality of service (QoS) and security becomes a significant issue in ...
166
click to vote
ICCSA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
160
click to vote
ICFEM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
188
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
161
click to vote
ICN
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The continued growth of both mobile appliances and wireless Internet technologies is bringing a new telecommunication revolution and has extended the demand of various se...