Sciweavers

8132 search results - page 60 / 1627

» Dependability, Abstraction, and Programming

115

ICAC
2005
IEEE

78views Applied Computing» more ICAC 2005»

A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

16 years 10 days ago

A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

Download www.cs.columbia.edu

Giuseppe Valetto, Gail E. Kaiser, Dan B. Phung

claim paper

Read More »

133

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

16 years 9 days ago

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

Download www.complang.tuwien.ac.at

Markus Schordan, Daniel J. Quinlan

claim paper

Read More »

138

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

16 years 6 days ago

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

148

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

16 years 4 days ago

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

154

MOZ
2004
Springer

273views Artificial Intelligence» more MOZ 2004»

A Fault Tolerant Abstraction for Transparent Distributed Programming

16 years 2 days ago

A Fault Tolerant Abstraction for Transparent Distributed Programming

Download www.sics.se

Donatien Grolaux, Kevin Glynn, Peter Van Roy

claim paper

Read More »

« Prev « First page 60 / 1627 Last » Next »