Sciweavers

1368 search results - page 148 / 274
» A Hybrid Reputation Model Based on the Use of Organizations
Sort
View
IGPL
2010
125views more  IGPL 2010»
15 years 5 months ago
A normative multiagent approach to requirements engineering
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
Serena Villata
SRDS
2006
IEEE
16 years 13 days ago
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available
In a recent paper, we presented proactive resilience as a new approach to proactive recovery, based on architectural hybridization. We showed that, with appropriate assumptions ab...
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...
IJON
2002
84views more  IJON 2002»
15 years 6 months ago
On the generative probability density model in the self-organizing map
The Self-Organizing Map, SOM, is a widely used tool in exploratory data analysis. A major drawback of the SOM has been the lack of a theoretically justified criterion for model se...
Timo Kostiainen, Jouko Lampinen
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
15 years 8 months ago
SAT-based Unbounded Model Checking of Timed Automata
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
Wojciech Penczek, Maciej Szreter
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
15 years 8 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano