5639 search results - page 519 / 1128 » Timed Abstract Non-interference |
182
Voted
UIC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Sensor relocation protocols can be employed as fault tolerance approach to offset the coverage loss caused by node failures. We introduce a novel localized structure, in...
172
Voted
VIZSEC
2007
Springer
16 years 7 days ago
2007
Springer
Monitoring host behavior in a network is one of the most essential tasks in the fields of network monitoring and security since more and more malicious code in the wild internet c...
142
Voted
WADS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Edge casing is a well-known method to improve the readability of drawings of non-planar graphs. A cased drawing orders the edges of each edge crossing and interrupts the ...
143
click to vote
WEA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We consider an optimization problem arising in the design of controllers for OLED displays. Our objective is to minimize the amplitude of the electrical current flowing ...
138
click to vote
WG
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The computation of all minimal transversals of a given hypergraph in output-polynomial time is a long standing open question known as the transversal hypergraph generatio...