517 search results - page 101 / 104 » Specification transformers: a predicate transformer approach... |
ICAIL
2003
ACM
14 years 18 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
CGO
2006
IEEE
13 years 11 months ago
2006
IEEE
Class hierarchies in object-oriented programs are used to capture various attributes of the underlying objects they represent, allowing programmers to encapsulate common attribute...
EUROCRYPT
2004
Springer
13 years 11 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
DOLAP
2008
ACM
13 years 9 months ago
2008
ACM
Multidimensional analysis allows decision makers to efficiently and effectively use data analysis tools, which mainly depend on multidimensional (MD) structures of a data warehous...
BMCBI
2010
13 years 7 months ago
2010
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...