1528 search results - page 126 / 306 » Implementing Generalized Operator Overloading |
123
Voted
JUCS
2008
15 years 2 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
106
click to vote
JUCS
2008
15 years 2 months ago
2008
: This paper considers the problem of resource allocation in the service industries approached from an agent-based perspective. Agent technologies seem to be well suited to this do...
118
click to vote
ENTCS
2007
15 years 2 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
125
click to vote
SIAMJO
2008
15 years 2 months ago
2008
For the problem of solving maximal monotone inclusions, we present a rather general class of algorithms, which contains hybrid inexact proximal point methods as a special case and ...
115
click to vote
IJNSEC
2007
15 years 2 months ago
2007
This paper reports a research work to address the problem of the large number of alerts generated by the detectors in an intrusion detection system. Some of these alerts are redun...