1147 search results - page 188 / 230 » Termination in language-based systems |
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
As many authors have articulated, the “last mile problem” is often cited as a persistent engineering obstacle in deploying residential broadband solutions. Additionally, some ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
AP2PC
2003
Springer
14 years 3 months ago
2003
Springer
The wide availability of mobile devices equipped with wireless communication capabilities together with the technical possibility to form adhoc networks paves the way for building ...
CC
2003
Springer
14 years 3 months ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
FOSSACS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...