Sciweavers

4476 search results - page 774 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
ICCS
2003
Springer
15 years 11 months ago
DDEMA: A Data Driven Environment for Multiphysics Applications
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...
DSN
2000
IEEE
15 years 10 months ago
OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
Myron Hecht, Xuegao An, Bing Zhang, Yutao He
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 10 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
DNA
2007
Springer
106views Bioinformatics» more  DNA 2007»
15 years 10 months ago
Hardware Acceleration for Thermodynamic Constrained DNA Code Generation
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
Qinru Qiu, Prakash Mukre, Morgan Bishop, Daniel J....
LWA
2008
15 years 7 months ago
Compensating the Semantic Bias of Spreadsheets
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. They r...
Andrea Kohlhase, Michael Kohlhase