605 search results - page 78 / 121 » Dynamic inference of abstract types |
132
click to vote
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Online optimization allows the continuous restructuring and adaptation of an executing application using live information about its execution environment. The further ad...
174
Voted
POPL
2011
ACM
14 years 6 months 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...
124
Voted
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
146
Voted
AB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
112
Voted
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...