Sciweavers

2237 search results - page 408 / 448
» Analysis and Testing of Web Applications
Sort
View
PRL
2008
78views more  PRL 2008»
15 years 6 months ago
Retrieving scale from quasi-stationary images
(204 words) We have developed a novel method to derive scale information from quasi-stationary images, which relies on a rotation-guided multi-scale analysis of features derived fr...
Piotr W. Mirowski, Daniel M. Tetzlaff
JKM
2007
88views more  JKM 2007»
15 years 5 months ago
The concept of knowledge in KM: a dimensional model
Purpose: To sharpen the concepts of tacit, implicit and explicit knowledge by linking them to findings from cognitive psychology and memory science and thus finding a possibility ...
Bertolt Meyer, Kozo Sugiyama
POPL
2005
ACM
16 years 6 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
ASPLOS
2004
ACM
15 years 11 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
SIGCOMM
2000
ACM
15 years 10 months ago
When the CRC and TCP checksum disagree
Traces of Internet packets from the past two years show that between 1 packet in 1,100 and 1 packet in 32,000 fails the TCP checksum, even on links where link-level CRCs should ca...
Jonathan Stone, Craig Partridge