4335 search results - page 723 / 867 » Ontology Engineering Relationally |
ICS
2009
Tsinghua U.
14 years 5 months ago
2009
Tsinghua U.
General purpose programming on the graphics processing units (GPGPU) has received a lot of attention in the parallel computing community as it promises to offer the highest perfo...
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Current access control schemes focus on the user and their rights and privileges relating to the access to both initiating functionality and accessing information. This approach...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Gold farming refers to the illicit practice of gathering and selling virtual goods in online games for real money. Although around one million gold farmers engage in gol...