Sciweavers

3984 search results - page 328 / 797
» A Model-Driven Transformation Method
Sort
View
INFORMATICALT
2006
96views more  INFORMATICALT 2006»
15 years 6 months ago
Evaluation of Ranking Accuracy in Multi-Criteria Decisions
The paper analyses the problem of ranking accuracy in multiple criteria decision-making (MCDM) methods. The methodology for measuring the accuracy of determining the relative signi...
Edmundas Kazimieras Zavadskas, Algimantas Zakarevi...
JCP
2008
126views more  JCP 2008»
15 years 6 months ago
Extension Information-Knowledge-Strategy System for Semantic Interoperability
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...
Li Weihua, Yang Chunyan
176
Voted
JAR
2006
95views more  JAR 2006»
15 years 6 months ago
Mechanizing and Improving Dependency Pairs
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
Jürgen Giesl, René Thiemann, Peter Sch...
SCN
2008
Springer
15 years 6 months ago
Using Normal Bases for Compact Hardware Implementations of the AES S-Box
Abstract. The substitution box (S-box) of the Advanced Encryption Standard (AES) is based on the multiplicative inversion s(x) = x-1 in GF(256) and followed by an affine transforma...
Svetla Nikova, Vincent Rijmen, Martin Schläff...
QUESTA
2006
119views more  QUESTA 2006»
15 years 6 months ago
Single-Server Queue with Markov-Dependent Inter-Arrival and Service Times
In this paper we study a single-server queue where the inter-arrival times and the service times depend on a common discrete time Markov Chain. This model generalizes the well-kno...
Ivo J. B. F. Adan, Vidyadhar G. Kulkarni