380 search results - page 42 / 76 » Operational Semantics for Declarative Networking |
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
117
click to vote
SIS
2004
15 years 1 months ago
2004
The shift from paper documents to their respective electronic formats is producing important advantages in the functioning of businesses and Public Administrations. However, this s...
SOSP
1997
ACM
15 years 1 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
ILP
2005
Springer
15 years 5 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
WEBDB
2000
Springer
15 years 3 months ago
2000
Springer
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...