1410 search results - page 109 / 282 » A Logic for Virtual Memory |
125
click to vote
VR
1993
IEEE
15 years 8 months ago
1993
IEEE
Existing network management systems typically use a combination of textual displays and 2D directed graph representations of network topology. We are designing a network managemen...
154
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
233
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
123
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
131
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...