442 search results - page 67 / 89 » Model Checking of Systems Employing Commutative Functions |
CAISE
2000
Springer
13 years 11 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
WSC
1997
13 years 8 months ago
1997
The problem of selecting the best system from a finite set of alternatives is considered from a Bayesian decision-theoretic perspective. The framework presented is quite general,...