5550 search results - page 359 / 1110 » Different Approaches to Proof Systems |
213
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
164
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
206
click to vote
DBSEC
2008
15 years 8 months ago
2008
Current security mechanisms are not suitable for organisations that outsource their data management to untrusted servers. Encrypting and decrypting sensitive data at the client si...
163
click to vote
IJCAI
2007
15 years 8 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
212
click to vote
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
15 years 8 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...