Sciweavers

572 search results - page 30 / 115
» Formal Properties of Metrical Structure
Sort
View
SBMF
2009
Springer
15 years 4 months ago
Corecursive Algebras: A Study of General Structured Corecursion
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
FORMATS
2007
Springer
15 years 1 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
63
Voted
WSC
2008
15 years 19 hour ago
Definition and analysis of composition structures for discrete-event models
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
Mathias Röhl, Adelinde M. Uhrmacher
AUSAI
2009
Springer
15 years 4 months ago
A Graph Distance Based Structural Clustering Approach for Networks
In the era of information explosion, structured data emerge on a large scale. As a description of structured data, network has drawn attention of researchers in many subjects. Netw...
Xin Su, Chunping Li
82
Voted
ATAL
2010
Springer
14 years 10 months ago
Using graph analysis to study networks of adaptive agent
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
Sherief Abdallah