43 search results - page 9 / 9 » Unit Completion for a Computer-aided Translation Typing Syst... |
POPL
2006
ACM
14 years 5 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
NOMS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
NMR
2004
Springer
13 years 10 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...