Sciweavers

15777 search results - page 195 / 3156

» Engineering in Software

122

CSSE
2004
IEEE

120views Software Engineering» more CSSE 2004»

Toward a more generic design of XML benchmark workload

15 years 3 months ago

Toward a more generic design of XML benchmark workload

Download www4.nccu.edu.tw

Jia-Kang Seng, Jing Yu

claim paper

Read More »

75

Voted

AIM
1999

84views Software Engineering» more AIM 1999»

The Innovative Applications of Artificial Intelligence Conference

15 years 3 months ago

The Innovative Applications of Artificial Intelligence Conference

Download www.aaai.org

Bruce G. Buchanan, Sam Uthurusamyr

claim paper

Read More »

104

Voted

AIM
1999

71views Software Engineering» more AIM 1999»

Background to Qualitative Decision Theory

15 years 3 months ago

Background to Qualitative Decision Theory

Download www.csc.ncsu.edu

Jon Doyle, Richmond H. Thomason

claim paper

Read More »

106

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 2 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

117

Voted

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

15 years 2 months ago

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

« Prev « First page 195 / 3156 Last » Next »