1147 search results - page 200 / 230 » Termination in language-based systems |
TWC
2010
14 years 7 months ago
2010
Online Charging System (OCS) supports multiple prepaid and postpaid sessions simultaneously. Through credit reservation, the OCS assigns some credit units to a session. These credi...
164
Voted
DAWAK
2011
Springer
14 years 19 days ago
2011
Springer
In recent years, there has been a large increase in the amount of spatial data obtained from remote sensing, GPS receivers, communication terminals and other domains. Data warehous...
221
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
105
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
107
Voted
BTW
2009
Springer
15 years 7 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...