29143 search results - page 61 / 5829 » A Sortation System Model |
NFM
2011
13 years 3 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
SIGMETRICS
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
It is a challenging issue to exchange procedural CAD models between heterogeneous CAD systems. In this paper, we extend the synchronized collaborative design environment among hete...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
NCM
2010
13 years 7 months ago
2010
—The objective of the paper is to propose a predictable context sensitive trust model for a business system. A business system can be imagined with four basic entities between wh...