6740 search results - page 978 / 1348 » Using Classification as a Programming Language |
164
Voted
ECLIPSE
2004
ACM
16 years 7 days ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
145
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
158
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
159
click to vote
DSOM
2004
Springer
16 years 5 days ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...
175
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...