3206 search results - page 215 / 642 » How minds can be computational systems |
167
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
173
click to vote
USENIX
1990
15 years 7 months ago
1990
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...
186
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Standard approaches to evaluating and comparing information retrieval systems compute simple averages of performance statistics across individual topics to measure the overall sys...
165
click to vote
ESCIENCE
2006
IEEE
16 years 19 days ago
2006
IEEE
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
182
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...