9006 search results - page 449 / 1802 » Modeling Software |
162
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
215
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...
192
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
189
click to vote
SIGSOFT
2003
ACM
16 years 2 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
204
click to vote
ICECCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...