Sciweavers

7009 search results - page 180 / 1402
» Patterns in Complex Systems Modeling
Sort
View
FSTTCS
2009
Springer
14 years 4 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
ICDE
2007
IEEE
170views Database» more  ICDE 2007»
14 years 11 months ago
Tree-Pattern Similarity Estimation for Scalable Content-based Routing
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
Raphaël Chand, Pascal Felber, Minos N. Garofa...
GECCO
2005
Springer
220views Optimization» more  GECCO 2005»
14 years 3 months ago
Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
Mark Fleischer
ENVSOFT
2007
166views more  ENVSOFT 2007»
13 years 9 months ago
The implications of complexity for integrated resources management
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
C. Pahl-Wostl
ISBI
2002
IEEE
14 years 10 months ago
Deformable m-rep segmentation of object complexes
While we have previously reported on multiscale segmentation of single-figure anatomic objects from medical images by deformable m-rep models, here we report on a method of segmen...
P. Thomas Fletcher, Stephen M. Pizer, A. Graham Ga...