1376 search results - page 245 / 276 » Model-Driven Software Verification |
CADE
2007
Springer
16 years 2 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
176
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
We have developed new methods for log-based recovery for middleware servers which involve thread pooling, private inmemory states for clients, shared in-memory state and message i...
119
Voted
PETRA
2009
ACM
15 years 8 months ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
107
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The subject of digital forensics can be quite challenging. Digital forensics is in its infancy and teaching digital forensics includes the techniques as well as the tools that ass...
107
click to vote
DAWAK
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...