Search Sciweavers | Sciweavers

8623 search results - page 227 / 1725

» Software engineering for secure systems

118

click to vote

SEW
2006
IEEE

108views Software Engineering» more SEW 2006»

An Eclipse Plug-in for the Java PathFinder Runtime Verification System

16 years 19 days ago

Download essere.disco.unimib.it

Francesca Arcelli Fontana, Claudia Raibulet, Ivano...

claim paper

Read More »

134

click to vote

SEW
2005
IEEE

100views Software Engineering» more SEW 2005»

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems

16 years 6 days ago

Download www.cse.msu.edu

R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...

claim paper

Read More »

144

click to vote

SELMAS
2005
Springer

198views Intelligent Agents» more SELMAS 2005»

Analysis and Design of Physical and Social Contexts in Multi-agent Systems

16 years 3 days ago

Download www.teccomm.les.inf.puc-rio.br

Florian Klein, Holger Giese

claim paper

Read More »

129

click to vote

EMSOFT
2004
Springer

171views Software Engineering» more EMSOFT 2004»

Compiler-assisted demand paging for embedded systems with flash memory

16 years 15 hour ago

Download www.cs.york.ac.uk

Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, ...

claim paper

Read More »

147

Voted

RE
2009
Springer

103views Software Engineering» more RE 2009»

Are Your Lights Off? Using Problem Frames to Diagnose System Failures

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers