2940 search results - page 496 / 588 » Relational Parametricity and Control |
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
STEP
2005
IEEE
15 years 3 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
GRAPHITE
2005
ACM
15 years 3 months ago
2005
ACM
Linear perspective is a good approximation to the format in which the human visual system conveys 3D scene information to the brain. Artists expressing 3D scenes, however, create ...
IMC
2005
ACM
15 years 3 months ago
2005
ACM
Flow measurement evolved into the primary method for measuring the composition of Internet traffic. Large ISPs and small networks use it to track dominant applications, dominant ...
108
click to vote
ISLPED
2005
ACM
15 years 3 months ago
2005
ACM
Leakage power reduction in cache memories continues to be a critical area of research because of the promise of a significant pay-off. Various techniques have been developed so fa...