206 search results - page 32 / 42 » Deterministic Caterpillar Expressions |
GPCE
2007
Springer
14 years 4 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
ICPP
2006
IEEE
14 years 3 months ago
2006
IEEE
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— TCP-Friendly Rate Control (TFRC) is being adopted in Internet standards for congestion control of various streaming media applications. In this paper, we consider the transmiss...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents the application of Exploratory Spatial Data Analysis (ESDA) and Kriging from GIS (ArcGIS8.3) in disease mapping through the analysis of hepatitis B in China. Th...