Sciweavers

2851 search results - page 105 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
EPEW
2006
Springer
15 years 8 months ago
A Function-Equivalent Components Based Simplification Technique for PEPA Models
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
Jane Hillston, Leïla Kloul
128
Voted
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 4 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
APBC
2008
231views Bioinformatics» more  APBC 2008»
15 years 6 months ago
Optimal Algorithm for Finding DNA Motifs with Nucleotide Adjacent Dependency
: Finding motifs and the corresponding binding sites is a critical and challenging problem in studying the process of gene expression. String and matrix representations are two pop...
Francis Y. L. Chin, Henry C. M. Leung, Man-Hung Si...
117
Voted
BDIM
2007
IEEE
99views Business» more  BDIM 2007»
15 years 11 months ago
Model-Based Mitigation of Availability Risks
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...
Emmanuele Zambon, Damiano Bolzoni, Sandro Etalle, ...
NLPRS
2001
Springer
15 years 9 months ago
Pruning UNL texts for Summarizing Purposes
This paper presents a summarization model based on the Universal Networking Language (UNL), which is a conceptual language for representing texts sentence by sentence, using seman...
Camilla Brandel Martins, Lucia Helena Machado Rino