Sciweavers

8196 search results - page 48 / 1640
» Computational Modeling and Complexity Science
Sort
View
IPAW
2010
14 years 12 months ago
Towards a Threat Model for Provenance in e-Science
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
Luiz M. R. Gadelha Jr., Marta Mattoso, Michael Wil...
GI
2007
Springer
15 years 8 months ago
Achieving Semantic Interoperability By Using Complex Event Processing Technology
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
Margarete Donovang-Kuhlisch
133
Voted
FOCS
2009
IEEE
15 years 9 months ago
The Complexity of Rationalizing Network Formation
— We study the complexity of rationalizing network formation. In this problem we fix an underlying model describing how selfish parties (the vertices) produce a graph by making...
Shankar Kalyanaraman, Christopher Umans
100
Voted
COMPLEX
2009
Springer
15 years 9 months ago
Dynamic Regimes of a Multi-agent Stock Market Model
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
Tongkui Yu, Honggang Li
91
Voted
SPIN
2005
Springer
15 years 8 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp