1147 search results - page 114 / 230 » Termination in language-based systems |
114
click to vote
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
118
Voted
DOCENG
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
106
Voted
TCS
1998
15 years 12 days ago
1998
We provide a global technique, called neatening, for the study of modularity of left-linear Term Rewriting Systems. Objects called bubbles are identi ed as the responsibles of mos...
109
Voted
FORTE
2009
14 years 10 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
117
Voted
SIAMCO
2010
14 years 7 months ago
2010
For discrete time nonlinear systems satisfying an exponential or finite time controllability assumption, we present an analytical formula for a suboptimality estimate for model pre...