Search Sciweavers | Sciweavers

7209 search results - page 62 / 1442

» Software Engineering for Multi-Agent Systems

103

click to vote

ICSE
2007
IEEE-ACM

116views Software Engineering» more ICSE 2007»

Self-Managed Systems: an Architectural Challenge

16 years 3 months ago

Download csse.usc.edu

Jeff Kramer, Jeff Magee

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

16 years 3 months ago

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

118views Software Engineering» more SIGSOFT 2001»

Deadlock detection in distribution object systems

16 years 3 months ago

Download visnyk.vstu.vinnica.ua

Nima Kaveh, Wolfgang Emmerich

claim paper

Read More »

122

click to vote

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

16 years 3 months ago

Download goedel.cs.uiowa.edu

Youssef Hanna, Samik Basu, Hridesh Rajan

claim paper

Read More »

click to vote

SIGSOFT
2003
ACM

124views Software Engineering» more SIGSOFT 2003»

Eos: instance-level aspects for integrated system design

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers