2282 search results - page 220 / 457 » Active property checking |
135
Voted
SPATIALCOGNITION
2004
Springer
15 years 10 months ago
2004
Springer
Two experiments are presented studying interrelations between spatial properties of environments and both experience and spatial behavior. In order to systematically study such int...
121
Voted
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...
177
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
120
Voted
MP
2006
15 years 5 months ago
2006
Measures of risk appear in two categories: Risk capital measures serve to determine the necessary amount of risk capital in order to avoid ruin if the outcomes of an economic acti...
133
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...