Sciweavers

3268 search results - page 413 / 654
» Structured Service Composition
Sort
View
APVIS
2008
15 years 8 months ago
Visual Statistics for Collections of Clustered Graphs
We propose a method to visually summarize collections of networks on which a clustering of the vertices is given. Our method allows for efficient comparison of individual networks...
Ulrik Brandes, Jürgen Lerner, Miranda J. Lubb...
FBT
2000
167views Formal Methods» more  FBT 2000»
15 years 8 months ago
Diagrams for Dataflow
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
Max Breitling, Jan Philipps
ROOM
2000
15 years 8 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
WSCG
2000
84views more  WSCG 2000»
15 years 8 months ago
New Theory of Pattern Recognition on the Basis of Stochastic Geometry
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...
Nikolay G. Fedotov, Luydmila A. Shulga
AAAI
1996
15 years 8 months ago
Building Steady-State Simulators via Hierarchical Feedback Decomposition
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
Nicolas F. Rouquette