10159 search results - page 91 / 2032 » System Design Validation Using Formal Models |
DAWAK
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
JUCS
2000
13 years 7 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
TSMC
2010
13 years 2 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
CATA
2010
13 years 8 months ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
ICDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...