4099 search results - page 313 / 820 » A Framework for Interactive Proof |
170
click to vote
AICOM
2005
15 years 6 months ago
2005
SIADEX is a complex framework that integrates several AI techniques able to design fighting plans against forest fires. It is based on four main components, a web server, that cent...
228
click to vote
TSMC
2010
15 years 1 months ago
2010
In mobile ad hoc networks, nodes have the inherent ability to move. Aside from conducting attacks to maximize their utility and cooperating with regular nodes to deceive them, mali...
178
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
165
click to vote
EUROSEC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
189
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...