10666 search results - page 1504 / 2134 » Quantum programming languages |
176
click to vote
STEP
2005
IEEE
16 years 22 days ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
177
click to vote
AOSD
2005
ACM
16 years 22 days ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
232
click to vote
AIIA
2005
Springer
16 years 21 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
220
click to vote
CCS
2005
ACM
16 years 21 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
200
click to vote
CP
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...