2004 search results - page 293 / 401 » Comparison of Model Checking Tools for Information Systems |
106
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
118
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
176
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
121
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes the starting points of how to design and build tools to help individual users track and monitor their presence on the web from the standpoints of individual p...
138
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
We describe a new approach to information retrieval: algorithmic mediation for intentional, synchronous collaborative exploratory search. Using our system, two or more users with ...