4650 search results - page 549 / 930 » Conceptual Integration Networks |
148
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
In the context of FPGAs, system downgrade consists in preventing the update of the hardware configuration or in replaying an old bitstream. The objective can be to preclude a syst...
171
click to vote
I3E
2001
15 years 8 months ago
2001
: Most often, technological explanations are given of Europe's slow adoption of mobile commerce. When seeking non-technological explanations, diffusion models provide aggregat...
181
click to vote
WOA
2001
15 years 8 months ago
2001
Acting in a dynamic environment is a complex task that requires several issues to be investigated, with the aim of controlling the associated search complexity. In this paper, a l...
178
click to vote
ORL
1998
15 years 6 months ago
1998
Recently, Becker and Geiger and Bafna, Berman and Fujito gave 2-approximation algorithms for the feedback vertex set problem in undirected graphs. We show how their algorithms can...
293
click to vote
NFM
2011
15 years 1 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...