575 search results - page 76 / 115 » Transition systems for designing and reasoning about norms |
ISMB
1993
15 years 24 days ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
126
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
DIM
2007
ACM
15 years 3 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
108
click to vote
IEE
2011
14 years 6 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
CADE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...