4217 search results - page 727 / 844 » Computational indistinguishability logic |
92
Voted
ESCIENCE
2005
IEEE
15 years 6 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
104
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
106
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
102
click to vote
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
116
Voted
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...