1128 search results - page 171 / 226 » A Case for Buffer Servers |
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...
122
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
DOCENG
2008
ACM
15 years 1 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
106
click to vote
ESWS
2008
Springer
2008
Springer
Building a National Semantic Web Ontology and Ontology Service Infrastructure -The FinnONTO Approach
15 years 1 months ago
Abstract. This paper presents the vision and results of creating a national level cross-domain ontology and ontology service infrastructure in Finland. The novelty of the infrastru...