3573 search results - page 521 / 715 » Reasoning about Codata |
117
Voted
FOAL
2008
ACM
15 years 5 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
152
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
142
Voted
FPL
2008
Springer
15 years 5 months ago
2008
Springer
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
117
Voted
AAAI
2010
15 years 5 months ago
2010
The aim of General Game Playing (GGP) is to create intelligent agents that can automatically learn how to play many different games at an expert level without any human interventi...
117
Voted
AGI
2008
15 years 5 months ago
2008
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...