8377 search results - page 280 / 1676 » Scenarios - Introduction |
187
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
223
click to vote
SAM
2004
15 years 8 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
163
click to vote
RANLP
2003
15 years 8 months ago
2003
This paper proposes a formal framework for development and exploitation of a corpus, based on the HPSG linguistic theory. The formal representation of the annotation scheme facili...
160
click to vote
WEBNET
1998
15 years 8 months ago
1998
: In this paper, we present our research on WWW caching proxies. We drew some key conclusions on the service properties and caching policies, according to the results of our analys...
173
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We describe a formalism and algorithms for game-tree search in partially-observable Euclidean space, and implementation and tests in a scenario where a multi-agent team, called tr...