4211 search results - page 404 / 843 » Types as Abstract Interpretations |
173
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
185
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
161
click to vote
ECOOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
166
click to vote
ADBIS
2006
Springer
16 years 23 days ago
2006
Springer
Abstract. Integration of text and documents into database management systems has been the subject of much research. However, most of the approaches are limited to data retrieval. C...
184
click to vote
EGC
2005
Springer
16 years 9 days ago
2005
Springer
Traditionally, distributed resource management/ scheduling systems for the Grid (e.g. Globus/ GRAM/ Condor-G) have tended to deal with coarsegrained and concrete resource types (e....