7158 search results - page 1223 / 1432 » Anatomy of data integration |
185
click to vote
ASYNC
2004
IEEE
15 years 11 months ago
2004
IEEE
As integrated circuit technologies get smaller, circuit and architectural trends make transmitting data across long on-chip wires increasingly important yet increasingly expensive...
181
click to vote
AWIC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computer intrusion detection is to do with identifying computer activities that may compromise the integrity, confidentiality or the availability of an IT system. Anomaly...
257
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
228
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
189
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...