1078 search results - page 200 / 216 » Modelling and Verifying of e-Commerce Systems |
124
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
133
Voted
CMS
2003
15 years 3 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
144
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
125
click to vote
GI
2005
Springer
15 years 7 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
122
click to vote
EPS
1998
Springer
15 years 6 months ago
1998
Springer
This paper discusses a simple representation of variable-dimensional optimization problems for evolutionary algorithms. Although it was successfully applied to the optimization of ...