4815 search results - page 460 / 963 » A Pattern Approach to Modeling the Provider Selection Proble... |
151
click to vote
CALCO
2005
Springer
16 years 6 days ago
2005
Springer
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful ...
183
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
183
click to vote
ISIPTA
2003
IEEE
15 years 12 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
162
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A major obstacle in treatment of HIV is the ability of the virus to mutate rapidly into drug-resistant variants. A method for predicting the susceptibility of mutated ...
211
click to vote
VIROLOGY
2010
15 years 5 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...