3008 search results - page 175 / 602 » Mechanisms for Importing Modules |
153
click to vote
KI
1990
Springer
15 years 8 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
169
click to vote
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the context of situated and embodied cognition, we evaluate an information-theoretic approach to the construction of the Umwelt of an artificial agent. We make the ass...
139
click to vote
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper studies the important fault management issue with focus on the fast restoration mechanisms for Optical Burst Switched (OBS) networks. In order to reduce the burst losse...
131
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
124
click to vote
AAAI
2006
15 years 6 months ago
2006
This paper describes a novel negotiation protocol for cellular networks, which intelligently improves the performance of the network. Our proposed reactive mechanism enables the d...