1113 search results - page 86 / 223 » Counter Systems for Data Logics |
123
click to vote
MTV
2007
IEEE
15 years 10 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
144
click to vote
MMM
1996
Springer
15 years 8 months ago
1996
Springer
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...
152
click to vote
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
130
click to vote
HPCC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
141
click to vote
DATESO
2007
15 years 5 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...