4211 search results - page 409 / 843 » Types as Abstract Interpretations |
170
click to vote
JSAC
2010
15 years 5 months ago
2010
Abstract—UWB over fiber (UWBoF) technique has been proposed to increase the area of coverage for UWB communication systems. In this paper, the transmission performance of impuls...
245
click to vote
EUROSSC
2010
Springer
15 years 4 months ago
2010
Springer
Smart homes have a user centered design that makes human activity as the most important type of context to adapt the environment according to people's needs. Sensor systems th...
146
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We consider the problem of delay-efficient scheduling in general multihop networks. While the class of max-weight type algorithms are known to be throughput optimal for t...
215
Voted
ICOODB
2009
15 years 4 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
354
click to vote
AMCS
2011
15 years 1 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...