4299 search results - page 529 / 860 » Concurrent Test Generation |
187
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
175
click to vote
NEUROSCIENCE
2001
Springer
15 years 9 months ago
2001
Springer
The Brain is a slow computer yet humans can skillfully play games such as tennis where very fast reactions are required. Of particular interest is the evidence for strategic thinki...
142
click to vote
SIGMOD
2000
ACM
15 years 9 months ago
2000
ACM
We present WSQ/DSQ (pronounced “wisk-disk”), a new approach for combining the query facilities of traditional databases with existing search engines on the Web. WSQ, for Web-S...
138
Voted
SIGMOD
2000
ACM
15 years 9 months ago
2000
ACM
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
180
Voted
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...