16702 search results - page 3030 / 3341 » Server operating systems |
168
Voted
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
This document describes experimentation performed as part of the Genoa Technology Integration Experiment (TIE). Achieved in two phases, the overarching assertion of the Genoa TIE ...
220
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
163
click to vote
CBMS
2001
IEEE
15 years 10 months ago
2001
IEEE
For transferring data between heterogeneous databases, XML is becoming a method of choice. While deployment is generally successfully, there are barriers to overcome. A recent exa...
159
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...
166
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...