846 search results - page 6 / 170 » The Use of Z |
102
Voted
IMPERIAL
1994
15 years 5 months ago
1994
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...
131
click to vote
JODL
2000
15 years 1 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
120
Voted
TCS
2008
15 years 1 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
119
Voted
FUIN
2008
15 years 11 days ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
108
Voted
MP
2011
14 years 4 months ago
2011
Abstract. Using the least element solution of the P0 and Z matrix linear complementarity problem (LCP), we define an implicit solution function for linear complementarity constrai...