1188 search results - page 155 / 238 » Testing Semantics: Connecting Processes and Process Logics |
171
click to vote
MM
1995
ACM
15 years 10 months ago
1995
ACM
The current model for multicast transmission of video over the Internet assumes that a fixed average bandwidth is uniformly present throughout the network. Consequently, sources ...
170
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
185
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
153
click to vote
CHES
2000
Springer
15 years 11 months ago
2000
Springer
The presented Triple-DES encryptor is a single-chip solution to encrypt network communication. It is optimized for throughput and fast switching between virtual connections like fo...
187
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...