11121 search results - page 40 / 2225 » Computing with Continuous Change |
COMPUTER
2010
14 years 10 months ago
2010
120
click to vote
REX
1991
15 years 4 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
COMPUTING
2004
15 years 1 months ago
2004
154
click to vote
COMPGEOM
2005
ACM
15 years 3 months ago
2005
ACM
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
Abstract—Pervasive applications are characterized by variations in their context of execution. Their correct behavior requires continuous adaptations, accordingly to changes obse...