29147 search results - page 15 / 5830 » System Modeling Resurrected |
108
click to vote
NFM
2011
14 years 4 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...
138
click to vote
NCM
2010
14 years 8 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...
PAMI
2007
14 years 9 months ago
2007
As biometric authentication systems become more prevalent, it is becoming increasingly important to evaluate their performance. The current paper introduces a novel statistical me...
103
click to vote
JUCS
2000
14 years 9 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
INFORMS
1998
14 years 9 months ago
1998
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...