5639 search results - page 446 / 1128 » Timed Abstract Non-interference |
147
click to vote
ICCSA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Determining whether two segments s and t in a planar polygonal scene weakly see each other is a classical problem in computational geometry. In this problem we seek for a...
140
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
111
click to vote
ISICA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Interplanetary trajectory optimization studies mostly considered a single objective of minimizing travel time between two planets or launch velocity of spacecraft at the ...
133
click to vote
WEA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The continuous growth of the routing tables sizes in backbone routers is one of the most compelling scaling problems affecting the Internet and has originated considerab...
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Many emerging applications for peer to peer overlays may require nodes to satisfy strict timing deadlines to access a replica of a given object. This includes multimedi...