3281 search results - page 138 / 657 » An Approach to use Executable Models for Testing |
134
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Modelling the interaction between potentially antigenic peptides and Major Histocompatibility Complex (MHC) molecules is a key step in identifying potential T-cell epi...
116
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
200
click to vote
TSMC
2010
14 years 10 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
126
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
148
click to vote
SCP
2008
15 years 3 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...