918 search results - page 32 / 184 » e-Procurement Using Goal Programming |
144
click to vote
IFIP
2010
Springer
14 years 11 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...
138
click to vote
HOPL
1993
15 years 8 months 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...
103
click to vote
ECOOP
2005
Springer
15 years 10 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...
131
click to vote
ICRA
2000
IEEE
15 years 8 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...
120
click to vote
CAV
2009
Springer
16 years 5 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...