2687 search results - page 477 / 538 » Formal Analysis of PKCS |
131
click to vote
SODA
2004
ACM
15 years 7 months ago
2004
ACM
We introduce a new data structuring paradigm in which operations can be performed on a data structure not only in the present but also in the past. In this new paradigm, called ret...
152
click to vote
WSC
2004
15 years 7 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
186
click to vote
EHCI
1998
15 years 7 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
160
click to vote
ICMAS
2000
15 years 7 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
143
click to vote
WSC
1998
15 years 7 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...