Search Sciweavers | Sciweavers

15253 search results - page 212 / 3051

» Integer-Programming Software Systems

119

Voted

TOSEM
2002

68views more TOSEM 2002»

Architecting families of software systems with process algebras

15 years 6 months ago

Download www.sti.uniurb.it

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiel...

claim paper

Read More »

163

click to vote

TSE
2002

125views more TSE 2002»

An Automated Verification Method for Distributed Systems Software Based on Model Extraction

15 years 6 months ago

Download spinroot.com

Gerard J. Holzmann, Margaret H. Smith

claim paper

Read More »

129

click to vote

COMPUTER
2010

65views more COMPUTER 2010»

Evolving Software Architecture Descriptions of Critical Systems

15 years 6 months ago

Download www.se-rwth.de

Tom Mens, Jeff Magee, Bernhard Rumpe

claim paper

Read More »

Voted

EXPERT
2010

85views more EXPERT 2010»

Code-Centric RFID System Based on Software Agent Intelligence

15 years 4 months ago

Download mmlab.snu.ac.kr

Min Chen, Sergio González-Valenzuela, Qian ...

claim paper

Read More »

115

click to vote

ISCI
2010

78views more ISCI 2010»

Debugging complex software systems by means of pathfinder networks

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers