2362 search results - page 187 / 473 » Programming in Standard ML |
144
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
110
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The En Route Automation Modernization (ERAM) program is a real-time Air Traffic Control (ATC) program being developed by Lockheed Martin Corporation. The ERAM program has high ava...
150
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
120
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
194
click to vote
AAIP
2009
15 years 5 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...