631 search results - page 63 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
123
click to vote
NSDI
2010
15 years 3 months ago
2010
We present Airavat, a MapReduce-based system which provides strong security and privacy guarantees for distributed computations on sensitive data. Airavat is a novel integration o...
111
click to vote
AAAI
2006
15 years 3 months ago
2006
The scalability of graph-search algorithms can be greatly extended by using external memory, such as disk, to store generated nodes. We consider structured duplicate detection, an...
116
click to vote
CSREAEEE
2006
15 years 3 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...
IADIS
2003
15 years 3 months ago
2003
The potential software market for client-side mobile applications is strongly dependent upon the ability to rapidly migrate existing in-house software solutions, while maintaining...