16883 search results - page 2962 / 3377 » Generalized Non-Reducible Descriptors |
197
click to vote
SWS
2005
ACM
16 years 12 days ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
212
Voted
TLDI
2005
ACM
16 years 12 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
147
click to vote
TLDI
2005
ACM
16 years 12 days ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
175
click to vote
VEE
2005
ACM
16 years 12 days ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
178
click to vote
VEE
2005
ACM
16 years 12 days ago
2005
ACM
The Progressive Deployment System (PDS) is a virtual execution environment and infrastructure designed specifically for deploying software, or “assets”, on demand while enabli...