6054 search results - page 901 / 1211 » Implementation of Andorra-based Languages |
189
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
184
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Gaining access to sensitive resources on the Web usually involves an explicit registration step, where the client has to provide a predetermined set of information to the server. T...
182
Voted
EUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
195
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
186
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...