1860 search results - page 262 / 372 » A Temporal Logic of Robustness |
104
click to vote
JANCL
2002
15 years 1 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
105
click to vote
TCS
2002
15 years 1 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
102
click to vote
IANDC
2010
15 years 1 days ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
115
click to vote
SASO
2010
IEEE
14 years 11 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
109
Voted
DLOG
2009
14 years 11 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...