10159 search results - page 1759 / 2032 » System Design Validation Using Formal Models |
167
click to vote
WCE
2007
15 years 7 months ago
2007
—Partial Differential Equations (PDEs) play an essential role in modeling real world problems. The broad field of modeling such systems has drawn the researchers’ attention for...
172
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
195
click to vote
SIMVIS
2003
15 years 8 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
140
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Recombinant protein production is a useful biotechnology to produce a large quantity of highly soluble proteins. Currently, the most widely used production system is t...
173
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...