6834 search results - page 300 / 1367 » Informal communication in collaboratories |
175
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
179
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
: Computer network is unpredictable due to information warfare and is prone to various attacks. Such attacks on network compromise the most important attribute, the privacy. Most o...
150
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
We describe our preliminary work in modeling conversation specifications and policies as positive/negative permissions and obligations. Our model is generic as it is independent o...
183
click to vote
AO
2007
15 years 6 months ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
198
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Statistical traffic classification techniques are often developed under the assumption that monitoring devices can observe the two half-flows composing each traffic session. Howeve...