Sciweavers

2920 search results - page 434 / 584
» Finite information logic
Sort
View
FUZZIEEE
2007
IEEE
16 years 27 days ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
ICDE
2007
IEEE
131views Database» more  ICDE 2007»
16 years 26 days ago
Enhancing Secured Service Interoperability with Decentralized Orchestration
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
Ustun Yildiz, Claude Godart
ISCC
2007
IEEE
104views Communications» more  ISCC 2007»
16 years 25 days ago
Chronicle Recognition for Mobility Management Triggers
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
Christophe Dousson, Kostas Pentikousis, Tiia Sutin...
APN
2007
Springer
16 years 22 days ago
Petri Nets, Discrete Physics, and Distributed Quantum Computation
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
Samson Abramsky
CIKM
2007
Springer
16 years 22 days ago
Conceptual modeling by analogy and metaphor
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...