Sciweavers

15635 search results - page 2726 / 3127
» A Designing Model of XML-Dataweb
Sort
View
CONEXT
2006
ACM
15 years 8 months ago
Early application identification
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
Laurent Bernaille, Renata Teixeira, Kavé Sa...
CSL
2006
Springer
15 years 8 months ago
Separation Logic for Higher-Order Store
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
Bernhard Reus, Jan Schwinghammer
CVPR
2006
IEEE
15 years 8 months ago
Ultrasound-Specific Segmentation via Decorrelation and Statistical Region-Based Active Contours
Segmentation of ultrasound images is often a very challenging task due to speckle noise that contaminates the image. It is well known that speckle noise exhibits an asymmetric dis...
Gregory G. Slabaugh, Gozde B. Unal, Tong Fang, Mic...
136
Voted
DIS
2006
Springer
15 years 8 months ago
Scientific Discovery: A View from the Trenches
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
Catherine Blake, Meredith Rendall
DRM
2006
Springer
15 years 8 months ago
Proteus: virtualization for diversified tamper-resistance
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
Bertrand Anckaert, Mariusz H. Jakubowski, Ramarath...
« Prev « First page 2726 / 3127 Last » Next »