1398 search results - page 107 / 280 » Ensuring Properties of Interaction Systems |
143
click to vote
PRESENCE
2007
15 years 4 months ago
2007
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
168
click to vote
IEAAIE
2011
Springer
14 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
123
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems in particular. The fo...
107
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...
113
Voted
COLING
1996
15 years 5 months ago
1996
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...