Sciweavers

1926 search results - page 115 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
233
Voted
IFIPTM
2009
171views Management» more  IFIPTM 2009»
15 years 4 months ago
Trust-Enhanced Recommender Systems for Efficient On-Line Collaboration
Trust has been explored by many researchers in the past as a solution for assisting the process of recommendation production. In this work we are examining the feasibility of build...
Georgios Pitsilis
KBSE
2008
IEEE
16 years 20 days ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
IPL
2010
94views more  IPL 2010»
15 years 4 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
TDSC
2010
172views more  TDSC 2010»
15 years 1 months ago
Proactive Detection of Computer Worms Using Model Checking
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
Johannes Kinder, Stefan Katzenbeisser, Christian S...
UML
2005
Springer
15 years 11 months ago
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc