741 search results - page 130 / 149 » A Local System for Classical Logic |
161
Voted
EAGC
2003
Springer
15 years 8 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
115
Voted
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In order to harness the full compute power of manycore processors, future designs must focus on effective utilization of on-chip cache and bandwidth resources. In this p...
133
Voted
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
151
click to vote
IDMS
1999
Springer
15 years 7 months ago
1999
Springer
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
119
Voted
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...