Search Sciweavers | Sciweavers

1516 search results - page 6 / 304

» Trends in Software Verification

click to vote

ISHPC
2003
Springer

108views Distributed And Parallel Com...» more ISHPC 2003»

High Performance Computing Trends and Self Adapting Numerical Software

14 years 23 days ago

Download www.ma.hw.ac.uk

Jack Dongarra

claim paper

Read More »

click to vote

CW
2002
IEEE

130views Distributed And Parallel Com...» more CW 2002»

Distance Education Technologies: Current Trends and Software Systems

14 years 16 days ago

Download www.ivic.org.my

Timothy K. Shih

claim paper

Read More »

click to vote

EXPERT
2007

98views more EXPERT 2007»

Adopting Software Engineering Trends in AI

13 years 7 months ago

Download www.sfu.ca

three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...

Dragan Djuric, Vladan Devedzic, Dragan Gasevic

claim paper

Read More »

click to vote

CAV
2009
Springer

165views Hardware» more CAV 2009»

Symbolic Counter Abstraction for Concurrent Software

14 years 8 months ago

Download www.kroening.com

Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...

Daniel Kroening, Gérard Basler, Michele Maz...

claim paper

Read More »

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

13 years 5 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper