5639 search results - page 230 / 1128 » Timed Abstract Non-interference |
154
click to vote
SDL
2001
15 years 4 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
110
click to vote
RTS
2010
15 years 1 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
124
Voted
ICDM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We propose a new Consistent Weighted Sampling method, where the probability of drawing identical samples for a pair of inputs is equal to their Jaccard similarity. Our me...
151
click to vote
MASS
2010
15 years 1 months ago
2010
Abstract--In a delay tolerant network (DTN), nodes are connected intermittently and the future node connections are mostly unknown. Since in these networks, a fully connected path ...
125
click to vote
ICRA
2009
IEEE
15 years 27 days ago
2009
IEEE
Abstract-- This paper presents a framework for generating time-optimal velocity profiles for a group of pathconstrained vehicle robots that have fixed and known initial and goal lo...