5451 search results - page 931 / 1091 » Typed Operational Semantics |
124
click to vote
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
132
click to vote
PCI
2001
Springer
15 years 8 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
126
click to vote
SSD
2001
Springer
15 years 8 months ago
2001
Springer
Like people who casually assess similarity between spatial scenes in their routine activities, users of pictorial databases are often interested in retrieving scenes that are simil...
122
click to vote
ICNP
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a protocol for maintaining multiple paths to each destination in a network of processes. For each destination, each process in the network maintains a set of neighbors ...
126
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. Parallel processing is based on utilizing a group of processors to efficiently solve large problems faster than is possible on a single processor. To accomplish this, the...