7694 search results - page 1167 / 1539 » An Implementation of an Applicative File System |
184
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
183
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
185
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...
186
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
175
click to vote
BCS
2008
15 years 8 months ago
2008
Across the world, organizations are required to comply with regulatory frameworks dictating how to manage personal information. Despite these, several cases of data leaks and expo...