Sciweavers

9989 search results - page 215 / 1998
» A CLP Approach to Modelling Systems
Sort
View
COMPSAC
2009
IEEE
16 years 1 months ago
Integrating System Modeling with Project Management - A Case Study
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
Jonas Helming, Jörn David, Maximilian Koegel,...
ICFEM
2009
Springer
16 years 1 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
INFOCOM
2005
IEEE
16 years 3 days ago
Bayesian indoor positioning systems
— In this paper, we introduce a new approach to location estimation where, instead of locating a single client, we simultaneously locate a set of wireless clients. We present a B...
David Madigan, E. Einahrawy, R. P. Martin, Wen-Hua...
ICDCSW
2008
IEEE
16 years 29 days ago
Modeling Attack Behaviors in Rating Systems
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important problem and many unfair rat...
Qinyuan Feng, Yafei Yang, Yan Lindsay Sun, Yafei D...
QUESTA
1998
124views more  QUESTA 1998»
15 years 6 months ago
Structural results for the control of queueing systems using event-based dynamic programming
In this paper we study monotonicity results for optimal policies of various queueing and resource sharing models. The standard approach is to propagate, for each specific model, ...
Ger Koole