1078 search results - page 59 / 216 » Modelling and Verifying of e-Commerce Systems |
AOSD
2009
ACM
15 years 2 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
141
click to vote
SBMF
2010
Springer
14 years 6 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
WSC
2004
15 years 1 months ago
2004
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
IJFCS
2006
14 years 11 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
AUTOMATICA
2008
14 years 12 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...