358 search results - page 62 / 72 » A Verification Methodology for Model Fields |
VLSID
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
IJET
2007
14 years 9 months ago
2007
: XML has become a standard format in information exchange and integration on the Web. Much research has been conducted in recent years on XML technology, which has led to new deve...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
ARC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...