12637 search results - page 2343 / 2528 » Security for Extensible Systems |
126
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
161
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
158
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
157
Voted
SIGMOD
2002
ACM
16 years 5 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
158
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Mobile users of computation and communication services have been rapidly adopting battery-powered mobile handhelds, such as PocketPCs and SmartPhones, for their work. However, the...