Sciweavers

11017 search results - page 372 / 2204
» Closure Systems and their Structure
Sort
View
207
Voted
CSCWD
2001
Springer
15 years 11 months ago
Modeling Workflow within Distributed Systems
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
Yuhong Yan, Alex Bejan
IJCAI
2003
15 years 8 months ago
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems
The structural rigidity property, a generalization of Laman’s theorem which characterizes rigid bar frameworks in 2D, is generally considered a good approximation of rigidity in...
Christophe Jermann, Bertrand Neveu, Gilles Trombet...
FSTTCS
2010
Springer
15 years 4 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
RIVF
2003
15 years 8 months ago
Complex Systems Modeling
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
Christophe Lecerf, Thi Minh Luan Nguyen
IWSOS
2009
Springer
16 years 1 months ago
A Survey of Models and Design Methods for Self-organizing Networked Systems
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...
Wilfried Elmenreich, Raissa D'Souza, Christian Bet...