918 search results - page 32 / 184 » e-Procurement Using Goal Programming |
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
HOPL
1993
14 years 21 days ago
1993
This paper outlines the history of the C++ programming language. The emphasis is on the ideas, constraints, and people that shaped the language, rather than the minutiae of langua...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...