1716 search results - page 175 / 344 » Proving Conditional Termination |
124
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
101
click to vote
GG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
109
Voted
EUSAI
2003
Springer
15 years 6 months ago
2003
Springer
The Personal Assistant for onLine Services (PALS) project aims at attuning the interaction with mobile services to the momentary usage context. Among other thing, PALS should adequ...
94
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...