4401 search results - page 661 / 881 » Computing with Default Logic |
145
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Data sources, storage, computing resources and services are entities on Grids that require mechanisms for publication and lookup. A discovery service relies on efficient lookup to...
146
click to vote
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
One important application of wireless sensor networks is tracking moving objects. The recent progress has made it possible for tiny sensors to have more computing power and storag...
161
click to vote
APSCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
151
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Pervasive networks with low-cost embedded 8-bit processors are set to change our day-to-day life. Public-key cryptography provides crucial functionality to assure security which is...
142
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...