5591 search results - page 281 / 1119 » Design patterns: between programming and software design |
175
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
185
click to vote
IJIT
2004
15 years 8 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
175
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
166
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
170
click to vote
VIZSEC
2004
Springer
16 years 7 hour ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...