5630 search results - page 1018 / 1126 » Computability in Specification |
145
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
In most file systems, if a file is deleted, only the metadata of the file is deleted or modified and the file's data is still stored on the physical media. Some users require...
136
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
In recent years role-based access control (RBAC) has been spreading within organizations. However, companies still have considerable difficulty migrating to this model, due to the...
198
Voted
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
125
click to vote
PVLDB
2010
15 years 3 months ago
2010
Probabilistic databases hold promise of being a viable means for large-scale uncertainty management, increasingly needed in a number of real world applications domains. However, q...
152
click to vote
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
— By analyzing people’s contact patterns over time, it is possible to build efficient delay tolerant networking (DTN) algorithms and derive important data for parameterizing an...