7452 search results - page 1089 / 1491 » A Semantics for Multiprocessor Systems |
170
click to vote
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
174
Voted
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
181
click to vote
ISCOPE
1999
Springer
15 years 11 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
174
Voted
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes a family of replication protocols based on group communication in order to address some of the concerns expressed by database designers regarding existing repl...
218
click to vote
WIFT
1998
IEEE
15 years 11 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...