3358 search results - page 578 / 672 » Dynamic Description Logics |
POPL
2011
ACM
13 years 15 days ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Service composition concerns both integration of heterogeneous distributed applications and dynamic selection of services. QoS-aware selection enables a service requester with cer...
ICANN
2009
Springer
14 years 4 months ago
2009
Springer
Recently the notion of power law networks in the context of neural networks has gathered considerable attention. Some empirical results show that functional correlation networks in...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...