949 search results - page 64 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
141
click to vote
HCW
1998
IEEE
15 years 6 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
130
click to vote
WADT
1999
Springer
15 years 6 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
106
click to vote
AISC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
112
click to vote
PE
2000
Springer
15 years 2 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
123
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...