Sciweavers

4861 search results - page 689 / 973
» Parsimonious concept modeling
Sort
View
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
EOR
2008
136views more  EOR 2008»
15 years 6 months ago
Game-theoretic analysis of cooperation among supply chain agents: Review and extensions
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
Mahesh Nagarajan, Greys Sosic
IJVR
2008
111views more  IJVR 2008»
15 years 6 months ago
Improve a Game Board based on Cultural Algorithms
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...
Alberto Ochoa, Alejandro Padilla, Saúl Gonz...
IPM
2008
88views more  IPM 2008»
15 years 6 months ago
Remembering William Goffman: Mathematical information science pioneer
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
Glynn Harmon
JNW
2008
129views more  JNW 2008»
15 years 6 months ago
Network-Initiated Terminal Mobility in Voice over 3GPP-WLAN
This paper proposes a network-initiated terminal mobility mechanism (NITM) to facilitate handover with the session initiation protocol (SIP) in 3GPP Voice over WLAN (3GPP VoWLAN). ...
Wei-Kuo Chiang, Hsin-Fu Huang