Sciweavers

16790 search results - page 172 / 3358

» A Future for Software Engineering

24

ICSE
2004
IEEE-ACM

132views Software Engineering» more ICSE 2004»

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model

14 years 2 months ago

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model

Download www.humbertocervantes.net

Humberto Cervantes, Richard S. Hall

claim paper

Read More »

24

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Behavior Capture and Test for Verifying Evolving Component-Based Systems

14 years 2 months ago

Behavior Capture and Test for Verifying Evolving Component-Based Systems

Download www.lta.disco.unimib.it

Leonardo Mariani

claim paper

Read More »

27

PSSE
2004
Springer

105views Software Engineering» more PSSE 2004»

A Tutorial Introduction to CSP in Unifying Theories of Programming

14 years 2 months ago

A Tutorial Introduction to CSP in Unifying Theories of Programming

Download www.cs.york.ac.uk

Ana Cavalcanti, Jim Woodcock

claim paper

Read More »

23

PSSE
2004
Springer

100views Software Engineering» more PSSE 2004»

Real-Time and Fault-Tolerant Systems

14 years 2 months ago

Real-Time and Fault-Tolerant Systems

Download www.iist.unu.edu

Zhiming Liu, Mathai Joseph

claim paper

Read More »

25

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

14 years 2 months ago

Security Types Preserving Compilation: (Extended Abstract)

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

« Prev « First page 172 / 3358 Last » Next »