Sciweavers

3330 search results - page 444 / 666
» software 2010
Sort
View
EVOW
2010
Springer
15 years 10 months ago
Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
Cem Safak Sahin, Stephen Gundry, Elkin Urrea, M. &...
115
Voted
DATE
2010
IEEE
129views Hardware» more  DATE 2010»
15 years 10 months ago
Block-level bayesian diagnosis of analogue electronic circuits
—Daily experience with product designers, test and diagnosis engineers it is realized that the depth of interaction among them, ought be high for sucessfull diagnosis of analogue...
Shaji Krishnan, Klaas D. Doornbos, Rudi Brand, Han...
120
Voted
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 10 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
ITNG
2010
IEEE
15 years 10 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
134
Voted
ITNG
2010
IEEE
15 years 10 months ago
Architectural, Technological and Methodological Aspects Involved in Design and Engineering a Service-Oriented Geographic Intelli
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
Valdevino Siqueira Campos Neto, Fernando Maciel Li...