1147 search results - page 113 / 230 » Termination in language-based systems |
163
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—Game theory has been a useful tool for the analysis of random-access based wireless networks due to their decentralized operations. This paper studies one of the most widely use...
98
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
93
Voted
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
90
Voted
VRML
1999
ACM
15 years 5 months ago
1999
ACM
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
127
Voted
WMRD
1990
15 years 4 months ago
1990
This paper describes the design of an object replication scheme for the Arjuna distributed system. ThedesignsupportsK-resiliency,where,intheabsenceofnetworkpartitions,Koutofa tota...