469 search results - page 51 / 94 » Putting curry-howard to work |
RAID
1999
Springer
13 years 12 months ago
1999
Springer
Putting in more security measures and access controls within an organisation runs contrary to operational e ciency and convenience. Although the balance between security and opera...
SAFECOMP
1999
Springer
13 years 12 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
ACMICEC
2007
ACM
13 years 11 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Delayed branching is a technique to alleviate branch hazards without expensive hardware branch prediction mechanisms. For VLIW processors with deep pipelines and many issue slots,...