Sciweavers

15253 search results - page 46 / 3051

» Integer-Programming Software Systems

121

Voted

ICSE
2005
IEEE-ACM

126views Software Engineering» more ICSE 2005»

Knowledge-based architectural adaptation management for self-adaptive systems

15 years 9 months ago

Knowledge-based architectural adaptation management for self-adaptive systems

Download www.cefns.nau.edu

John C. Georgas

claim paper

Read More »

104

Voted

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

15 years 9 months ago

Extreme Programming for Critical Systems?

Download www.cs.st-andrews.ac.uk

Ian Sommerville

claim paper

Read More »

95

PPPJ
2004
ACM

67views Software Engineering» more PPPJ 2004»

Implementing a NTP-based time service within a distributed middleware system

15 years 9 months ago

Implementing a NTP-based time service within a distributed middleware system

Download www.naradabrokering.org

Hasan Bulut, Shrideep Pallickara, Geoffrey Fox

claim paper

Read More »

94

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 9 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

116

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Behavior Capture and Test for Verifying Evolving Component-Based Systems

15 years 9 months ago

Behavior Capture and Test for Verifying Evolving Component-Based Systems

Download www.lta.disco.unimib.it

Leonardo Mariani

claim paper

Read More »

« Prev « First page 46 / 3051 Last » Next »