Sciweavers

15253 search results - page 46 / 3051

» Integer-Programming Software Systems

183

ICSE
2005
IEEE-ACM

126views Software Engineering» more ICSE 2005»

Knowledge-based architectural adaptation management for self-adaptive systems

16 years 28 days ago

Knowledge-based architectural adaptation management for self-adaptive systems

Download www.cefns.nau.edu

John C. Georgas

claim paper

Read More »

146

Voted

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

16 years 27 days ago

Extreme Programming for Critical Systems?

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

Ian Sommerville

claim paper

Read More »

143

Voted

PPPJ
2004
ACM

67views Software Engineering» more PPPJ 2004»

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

16 years 26 days 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 »

139

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

16 years 25 days ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

180

Voted

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Behavior Capture and Test for Verifying Evolving Component-Based Systems

16 years 24 days 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 »