626 search results - page 104 / 126 » When Can Formal Methods Make a Real Difference |
116
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Privacy preserving data mining has been investigated extensively. The previous works mainly fall into two categories, perturbation and randomization based approaches and secure mu...
141
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
DVB-H offers a new platform for IP-based services and contributes to universal access. There are many challenges of providing multimedia TV experience for DVB-H users anywhere any...
144
Voted
ADBIS
2003
Springer
15 years 8 months ago
2003
Springer
The Web has become the world’s largest information source. Unfortunately, the main success factor of the Web, the inherent principle of distribution and autonomy of the participa...
148
click to vote
LION
2010
Springer
15 years 8 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
121
Voted
IWQOS
2001
Springer
15 years 8 months ago
2001
Springer
To create acceptable levels of Quality of Service (QoS), designers need to be able to predict users’ behaviour in response to different levels of QoS. However, predicting behavio...