Search Sciweavers | Sciweavers

8623 search results - page 227 / 1725

» Software engineering for secure systems

106

click to vote

SEW
2006
IEEE

108views Software Engineering» more SEW 2006»

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

15 years 11 months ago

Download essere.disco.unimib.it

Francesca Arcelli Fontana, Claudia Raibulet, Ivano...

claim paper

Read More »

114

click to vote

SEW
2005
IEEE

100views Software Engineering» more SEW 2005»

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

15 years 11 months ago

Download www.cse.msu.edu

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

claim paper

Read More »

132

click to vote

SELMAS
2005
Springer

198views Intelligent Agents» more SELMAS 2005»

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

15 years 11 months ago

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

Florian Klein, Holger Giese

claim paper

Read More »

113

click to vote

EMSOFT
2004
Springer

171views Software Engineering» more EMSOFT 2004»

Compiler-assisted demand paging for embedded systems with flash memory

15 years 11 months ago

Download www.cs.york.ac.uk

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

claim paper

Read More »

130

click to vote

RE
2009
Springer

103views Software Engineering» more RE 2009»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers