7529 search results - page 1116 / 1506 » The Modula-3 Type System |
185
click to vote
NSPW
2006
ACM
16 years 23 days ago
2006
ACM
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
215
Voted
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
173
click to vote
ACSC
2005
IEEE
16 years 13 days ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
171
click to vote
ACSC
2005
IEEE
16 years 13 days ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
210
click to vote
AUIC
2005
IEEE
16 years 13 days ago
2005
IEEE
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...