7452 search results - page 1170 / 1491 » A Semantics for Multiprocessor Systems |
173
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Since only simple symbol-based manipulations are needed,n-gram indexingis used for naturallanguageswhere syntactic or semantic analyses are often difficult. Music, whose automatic...
154
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
167
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
179
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...
182
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...