Sciweavers

8196 search results - page 48 / 1640
» Computational Modeling and Complexity Science
Sort
View
IPAW
2010
14 years 7 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 3 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
FOCS
2009
IEEE
15 years 4 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
COMPLEX
2009
Springer
15 years 4 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
SPIN
2005
Springer
15 years 3 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp