3765 search results - page 632 / 753 » Formal Methods for Systems Engineering Behavior Models |
147
click to vote
WISE
2002
Springer
15 years 7 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
159
Voted
ECIR
2009
Springer
15 years 13 days ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
157
Voted
ESANN
2007
15 years 4 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
125
Voted
IJRR
2002
15 years 2 months ago
2002
This paper presents two object manipulation planning methods based on fitted stratified and semi-stratified approaches using finger relocations. The problem is discussed in the fr...
116
Voted
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...