4543 search results - page 340 / 909 » Interactive Distributed Configuration |
129
click to vote
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
When time-triggered (TT) systems are to be deployed for large embedded real-time (RT) control systems in cars and airplanes, one way to overcome bandwidth limitations and achieve ...
161
click to vote
UIST
1998
ACM
15 years 8 months ago
1998
ACM
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...
137
click to vote
FTRTFT
2000
Springer
15 years 8 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
129
Voted
COMPSEC
2010
15 years 4 months ago
2010
Abstract Advanced mobile devices such as laptops and smartphones make convenient hiding places for surveillance spyware. They commonly have a microphone and camera built-in, are in...
127
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...