5639 search results - page 272 / 1128 » Timed Abstract Non-interference |
123
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
121
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
115
click to vote
ANOR
2010
15 years 3 months ago
2010
Abstract Irregularities are widespread in large databases and often lead to erroneous conclusions with respect to data mining and statistical analysis. For example, considerable bi...
113
Voted
SWARM
2008
SPRINGER
15 years 3 months ago
2008
SPRINGER
Abstract Stage is a C++ software library that simulates multiple mobile robots. Stage version 2, as the simulation backend for the Player/Stage system, may be the most commonly use...
100
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...