1833 search results - page 36 / 367 » Mechanized Verification with Sharing |
TELSYS
2002
13 years 10 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
CAISE
2007
Springer
14 years 5 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
ESWS
2007
Springer
14 years 5 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
Peer-to-peer (P2P) systems enable users to share resources in a networked environment without worrying about issues such as scalability and load balancing. Unlike exchange of good...
FCSC
2010
13 years 8 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...