5064 search results - page 202 / 1013 » Recent Developments in Gridsolve |
156
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Mashups are gaining momentum as a means to develop situational Web applications by combining different resources (services, data feeds) and user interfaces. In enterpris...
161
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
134
click to vote
ISMDA
2001
Springer
15 years 10 months ago
2001
Springer
In recent years, a number of algorithms have been developed for learning the structure of Bayesian networks from data. In this paper we apply some of these algorithms to a realist...
165
click to vote
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
178
click to vote
PPAM
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...