8828 search results - page 1223 / 1766 » Formal methods in practice |
230
click to vote
SACMAT
2003
ACM
16 years 14 days ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
201
click to vote
SPAA
2003
ACM
16 years 14 days ago
2003
ACM
Link reversal algorithms provide a simple mechanism for routing in mobile ad hoc networks. These algorithms maintain routes to any particular destination in the network, even when...
197
click to vote
ATAL
2003
Springer
16 years 14 days ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
191
click to vote
FSTTCS
2003
Springer
16 years 13 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
206
click to vote
DSN
2002
IEEE
16 years 5 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...