4325 search results - page 174 / 865 » Incremental computation with names |
155
click to vote
ICWE
2007
Springer
16 years 19 days ago
2007
Springer
With the increasing availability of Web services and adoption of services oriented paradigm, there is a growing need to dynamically compose services for realizing complex user task...
165
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
181
click to vote
FPGA
2005
ACM
16 years 1 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
151
click to vote
RSFDGRC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose a new intrusion detection model, which keeps advantages of existing misuse detection model and anomaly detection model and resolves their problems. This ...
154
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...