481 search results - page 77 / 97 » Executing Higher Order Logic |
124
Voted
GLOBECOM
2008
IEEE
15 years 25 days ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
102
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces the Abstract Data and Communication Library (ADCL). ADCL is an application level communication library aiming at providing the highest possible performanc...
106
click to vote
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
103
click to vote
GRID
2006
Springer
15 years 20 days ago
2006
Springer
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
106
click to vote
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
The number of functional errors escaping design verification and being released into final silicon is growing, due to the increasing complexity and shrinking production schedules ...