Sciweavers

4349 search results - page 274 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
PRDC
2000
IEEE
15 years 8 months ago
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor...
JCIT
2008
96views more  JCIT 2008»
15 years 4 months ago
An Intelligent Model and Its Implementation of Search Engine
Intelligence of humankind mostly includes five parts: the observing ability, the memory ability, the practice ability, the thought ability, the imagining ability, etc.. In this pa...
Yajun Du, Haiming Li
ARGMAS
2004
Springer
15 years 9 months ago
Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
Fabio Paglieri, Cristiano Castelfranchi
APSEC
2007
IEEE
15 years 10 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
CODES
2005
IEEE
15 years 10 months ago
Energy conscious online architecture adaptation for varying latency constraints in sensor network applications
Sensor network applications face continuously changing environments, which impose varying processing loads on the sensor node. This paper presents an online control method which a...
Sankalp Kallakuri, Alex Doboli