Search Results - "Desharnais, J."

Toward building RDB to HBase conversion rules by Ouanouki, R., April, A., Abran, A., Gomez, A., Desharnais, J. M.

“…Cloud data stores that can handle very large amounts of data, such as Apache HBase, have accelerated the use of non-relational databases (coined as NoSQL…”
Get full text

A comparison of software effort estimation techniques: Using function points with neural networks, case-based reasoning and regression models by Finnie, G.R., Wittig, G.E., Desharnais, J-M.

“…Estimating software development effort remains a complex problem attracting considerable research attention. Improving the estimation techniques available to…”
Get full text

The metric analogue of weak bisimulation for probabilistic processes by Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.

“…We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities-in the model. We develop a metric analogue…”
Get full text

Monomorphic characterization of n-ary direct products by Desharnais, Jules

“…The relation-algebraic characterization of n-ary direct products (n-tuple-forming products) is investigated. The n-ary direct product presented is a…”
Get full text

Defining and applying measures of distance between specifications by Jilani, L.L., Desharnais, J., Mili, A.

“…Echoing Louis Pasteur's quote, we submit the premise that it is advantageous to define measures of distance between requirements specifications because such…”
Get full text

A relational model of cognitive maps by CHAIB-DRAA, B., DESHARNAIS, J.

“…A useful tool for causal reasoning is the language of cognitive maps developed by political scientists to analyse, predict and understand decisions. Although,…”
Get full text

Approximating labeled Markov processes by Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.

“…We study approximate reasoning about continuous-state labeled Markov processes. We show how to approximate a labeled Markov process by a family of finite-state…”
Get full text

Relational characterizations of system fault tolerance by Cortellessa, V., Del Gobbo, D., Shereshevsky, M., Desharnais, J., Mili, A.

“…Fault tolerance is the ability of a system to continue delivering its services after faults have caused errors. We have argued, in the past, that complex…”
Get full text

Integration of sequential scenarios by Desharnais, J., Frappier, M., Khedri, R., Mili, A.

“…We give a formal relation-based definition of scenarios and we show how different scenarios can be integrated to obtain a more global view of user-system…”
Get full text

A logical characterization of bisimulation for labeled Markov processes by Desharnais, J., Edalat, A., Panangaden, P.

“…This paper gives a logical characterization of probabilistic bisimulation for Markov processes. Bisimulation can be characterized by a very weak modal logic…”
Get full text

Metrics for labelled Markov processes by Desharnais, Josée, Gupta, Vineet, Jagadeesan, Radha, Panangaden, Prakash

“…The notion of process equivalence of probabilistic processes is sensitive to the exact probabilities of transitions. Thus, a slight change in the transition…”
Get full text

Labeled Markov processes: stronger and faster approximations by Danos, V., Desharnais, J.

“…This paper proposes a measure-theoretic reconstruction of the approximation schemes developed for labeled Markov processes: approximants are seen as quotients…”
Get full text

Bisimulation for labelled Markov processes by Blute, R., Desharnais, J., Edalat, A., Panangaden, P.

“…In this paper we introduce a new class of labelled transition systems-Labelled Markov Processes-and define bisimulation for them. Labelled Markov processes are…”
Get full text

Bisimulation for Labelled Markov Processes by Desharnais, Josée, Edalat, Abbas, Panangaden, Prakash

“…In this paper we introduce a new class of labelled transition systems—labelled Markov processes— and define bisimulation for them. Labelled Markov processes…”
Get full text

Solution-Phase Combinatorial Libraries: Modulating Cellular Signaling by Targeting Protein-Protein or Protein-DNA Interactions by Boger, Dale L., Desharnais, Joel, Capps, Kevin

“…The high‐throughput synthesis and screening of compound libraries hold tremendous promise for drug discovery and powerful methods for both solid‐phase and…”
Get full text

A relational calculus for program construction by parts by Frappier, M., Mili, A., Desharnais, J.

“…Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each;…”
Get full text

Small-Molecule Antagonists of Myc/Max Dimerization Inhibit Myc-Induced Transformation of Chicken Embryo Fibroblasts by Berg, Thorsten, Cohen, Steven B., Desharnais, Joel, Sonderegger, Corinna, Maslyar, Daniel J., Goldberg, Joel, Boger, Dale L., Vogt, Peter K.

“…Myc is a transcriptional regulator of the basic helix-loop-helix leucine zipper protein family. It has strong oncogenic potential, mutated or virally…”
Get full text

Approximating labelled Markov processes by Desharnais, Josée, Gupta, Vineet, Jagadeesan, Radha, Panangaden, Prakash

“…Labelled Markov processes are probabilistic versions of labelled transition systems. In general, the state space of a labelled Markov process may be a…”
Get full text

The state of the art of mobile application usability evaluation by Nayebi, F., Desharnais, J-M, Abran, A.

“…Mobile devices and applications provide significant advantages to their users, in terms of portability, location awareness, and accessibility. A number of…”
Get full text

Erythropoietin Mimetics Derived from Solution Phase Combinatorial Libraries by Goldberg, Joel, Jin, Qing, Ambroise, Yves, Satoh, Shigeki, Desharnais, Joel, Capps, Kevin, Boger, Dale L

“…The erythropoietin receptor (EPOr) is activated by ligand-induced homodimerization, which leads to the proliferation and differentiation of erythroid…”
Get full text