6201 search results - page 980 / 1241 » Implementation of Axiomatic Language |
156
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Link-translating proxies are widely used for anonymous browsing, policy circumvention and WebVPN functions. These are implemented by encoding the destination URL in the path of th...
137
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...
177
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
204
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The GridBASE framework for database-driven grid computing is presented. The design and a prototype implementation of the framework is discussed. Industry-strength database technol...
193
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...