Search Sciweavers | Sciweavers

9018 search results - page 152 / 1804

» 3D-Brain Model Software

134

click to vote

IFM
2009
Springer

124views Formal Methods» more IFM 2009»

Dynamic Path Reduction for Software Model Checking

15 years 9 months ago

Download www.cs.sunysb.edu

We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under veriﬁcation. DPR is a very general...

Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...

claim paper

Read More »

125

click to vote

BIS
2008

152views Business» more BIS 2008»

Mobile Social Software for Cultural Heritage: A Reference Model

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Web 2.0, also known as the Social Web, marks a new philosophy where users are both the main actors and the content producers: users write blogs and comments, they tag, li...

Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro...

claim paper

Read More »

137

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

15 years 10 months ago

Download www.sofsem.cz

Andy Schürr, Sebastian Oster, Florian Markert

claim paper