Sciweavers

2403 search results - page 149 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
ICAC
2007
IEEE
16 years 22 days ago
Approximation Modeling for the Online Performance Management of Distributed Computing Systems
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
Dara Kusic, Nagarajan Kandasamy, Guofei Jiang
SOFSEM
2004
Springer
15 years 11 months ago
Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
Miguel Ángel Sicilia Urbán, Elena Ga...
EMSOFT
2006
Springer
15 years 10 months ago
Analysis of the zeroconf protocol using UPPAAL
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao...
IKE
2003
15 years 7 months ago
The Research of the Development of an Intelligent Knowledge Service Model
Traditional knowledge management mechanism focused on the re-usage of knowledge library. However, it lacks the ability of knowledge innovation and co-creation. Meanwhile, employee...
Bih-Yaw Shih
ELPUB
2007
ACM
15 years 10 months ago
Expectation and Reality in Digital Publishing: Some Australian Perspectives
This paper presents a brief summary of the findings of a Web-based survey of the views of Australian publishers, on the potential impact of digital technologies, followed by three...
Bill Martin, Hepu Deng, Xuemei Tian