8493 search results - page 1289 / 1699 » Implementing a distributed firewall |
167
click to vote
PVM
2007
Springer
16 years 25 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
187
Voted
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating...
199
click to vote
SERA
2007
Springer
16 years 25 days ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
166
click to vote
WDAG
2007
Springer
16 years 25 days ago
2007
Springer
The timestamp problem captures a fundamental aspect of asynchronous distributed computing. It allows processes to label events throughout the system with timestamps that provide in...
199
Voted
AICT
2006
IEEE
16 years 24 days ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...