860 search results - page 81 / 172 » A Process Algebra Based Verification of a Production System |
EUROSPI
2008
Springer
13 years 10 months ago
2008
Springer
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
The performance of the fingerprint identification and verification systems relies heavily on the quality of the input fingerprint images. In this paper, we propose an effective im...
CIDR
2003
13 years 10 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
WOODPECKER
2001
13 years 10 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...