1833 search results - page 100 / 367 » Mechanized Verification with Sharing |
117
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
105
Voted
APPT
2005
Springer
15 years 6 months ago
2005
Springer
Simultaneous MultiThreading (SMT) achieves better system resource utilization and higher performance because it exploits ThreadLevel Parallelism (TLP) in addition to “conventiona...
125
click to vote
APWEB
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
122
Voted
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
105
Voted
HT
2010
ACM
15 years 2 months ago
2010
ACM
Online social sharing sites are becoming very popular nowadays among Web users, who use these sites to share their favourite items and to discover interesting and useful items fro...