4047 search results - page 690 / 810 » Algebraic Model Checking |
102
click to vote
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
136
Voted
CSCW
1998
ACM
15 years 5 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
123
Voted
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
147
click to vote
ATAL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
117
click to vote
ICSE
1993
IEEE-ACM
15 years 5 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...