3414 search results - page 320 / 683 » System Support for Object Groups |
140
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
144
Voted
CACM
1999
15 years 4 months ago
1999
To facilitate the sharing of information using modern communication networks, users must be able to decide on a privacy policy--what information to conceal, what to reveal, and to...
142
click to vote
E4MAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
142
click to vote
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...
143
click to vote
VLDB
1989
ACM
15 years 9 months ago
1989
ACM
Starburst is an experimental database management system prototype whose objectives include extensibility, support for knowledge databases, use of memory-resident database techniqu...