846 search results - page 12 / 170 » The Use of Z |
116
click to vote
IFM
2000
Springer
15 years 6 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
111
click to vote
SPATIALCOGNITION
1998
Springer
15 years 7 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
70
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
BMCBI
2007
15 years 3 months ago
2007