10159 search results - page 429 / 2032 » System Design Validation Using Formal Models |
154
click to vote
AEI
2004
15 years 4 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
161
Voted
ACRI
2008
Springer
15 years 11 months ago
2008
Springer
In several cases, the DNA sequences of an organism are available in different stages of its evolution and it is desirable to reconstruct the DNA sequence in a previous evolution st...
162
click to vote
SQJ
2008
15 years 4 months ago
2008
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
157
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
147
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...