10159 search results - page 1643 / 2032 » System Design Validation Using Formal Models |
185
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...
198
click to vote
IIWAS
2008
15 years 8 months ago
2008
Supply chains have evolved to web-applications that tap on the power of internet to expand their networks online. Recently some research attention is focused on make-to-order supp...
195
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
189
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
160
click to vote
ITICSE
2005
ACM
16 years 12 days ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...