2114 search results - page 211 / 423 » A model of cooperative threads |
146
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
170
click to vote
AAAI
1994
15 years 7 months ago
1994
This paper presents a plan-based architecture for response generation in collaborative consultation dialogues, with emphasis on cases in which the system (consultant) and user (ex...
185
click to vote
COMCOM
2011
15 years 1 months ago
2011
This paper presents a rigorous analytic study of gossip-based message dissemination schemes that can be employed for content/service dissemination or discovery in unstructured and...
207
click to vote
IEEEPACT
2007
IEEE
16 years 23 days ago
2007
IEEE
As multi-core architectures flourish in the marketplace, multi-application workload scenarios (such as server consolidation) are growing rapidly. When running multiple application...
173
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...