588 search results - page 83 / 118 » Differential Logic for Reasoning About Hybrid Systems |
197
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
171
click to vote
PPDP
2007
Springer
16 years 7 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
136
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
145
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
181
click to vote
MFCS
1995
Springer
15 years 9 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...