813 search results - page 58 / 163 » Pipeline-centric provenance model |
FASE
2003
Springer
15 years 4 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...
ICALP
2001
Springer
15 years 3 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
AIRWEB
2006
Springer
15 years 2 months ago
2006
Springer
Search engines are commercial entities that require revenue to survive. The most prevalent revenue stream for search engines is sponsored search, where content providers have sear...
CSCWD
2008
Springer
15 years 23 days ago
2008
Springer
Role-based access control (RBAC) has been proven to be a flexible and useful access control model for information sharing in distributed collaborative environments. Permission-rol...