Software Engineering

24

FSTTCS
1999
Springer

115views Software Engineering» more FSTTCS 1999»

A Randomized Algorithm for Flow Shop Scheduling

14 years 7 days ago

Abstract. Shop scheduling problems are known to be notoriously intractable, both in theory and practice. In this paper we give a randomized approximation algorithm for ﬂow shop s...

Naveen Garg, Sachin Jain, Chaitanya Swamy

claim paper

Read More »

21

click to vote

FSTTCS
1999
Springer

93views Software Engineering» more FSTTCS 1999»

Graded Modalities and Resource Bisimulation

14 years 7 days ago

Download www.cs.man.ac.uk

Flavio Corradini, Rocco De Nicola, Anna Labella

claim paper

Read More »

27

click to vote

FSTTCS
1999
Springer

84views Software Engineering» more FSTTCS 1999»

Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings

14 years 7 days ago

Download www.dis.uniroma1.it

Luca Becchetti, Miriam Di Ianni, Alberto Marchetti...

claim paper

Read More »

28

click to vote

FOSSACS
1999
Springer

89views Software Engineering» more FOSSACS 1999»

Probabilistic Temporal Logics via the Modal Mu-Calculus

14 years 7 days ago

Download www.cs.umd.edu

This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...

Murali Narasimha, Rance Cleaveland, S. Purushotham...

claim paper

Read More »

18

click to vote

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

14 years 7 days ago

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

25

click to vote

FOSSACS
1999
Springer

87views Software Engineering» more FOSSACS 1999»

A Strong Logic Programming View for Static Embedded Implications

14 years 7 days ago

Download www.sc.ehu.es

Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: ﬁrstly, any pro...

R. Arruabarrena, Paqui Lucio, Marisa Navarro

claim paper

Read More »

22

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

14 years 7 days ago

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

16

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

14 years 7 days ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...

claim paper

Read More »

28

click to vote

FASE
1999
Springer

118views Software Engineering» more FASE 1999»

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems

14 years 7 days ago

Download www.imamu.edu.sa

JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...

Eva Coscia, Gianna Reggio

claim paper

Read More »

14

click to vote

FASE
1999
Springer

81views Software Engineering» more FASE 1999»

Research Issues in the Renovation of Legacy Systems

14 years 7 days ago

Download www.cs.vu.nl

Arie van Deursen, Paul Klint, Chris Verhoef

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers