Sciweavers

3280 search results - page 525 / 656
» Design Families and Design Individuals
Sort
View
156
Voted
JOT
2008
67views more  JOT 2008»
15 years 7 months ago
An Enhanced Form of Dynamic Untyped Object-Based Inheritance
We present an enhanced form of untyped object-based inheritance for classless languages, as implemented in our Delta language, comparing to the prevalent practices of delegation a...
Anthony Savidis
176
Voted
ENTCS
2007
129views more  ENTCS 2007»
15 years 7 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...
185
Voted
MMS
2008
15 years 7 months ago
The canonical expression of the drama product manufacturing processes
As the broadcast industry is evolving toward IT-based facilities, the production workflows and their associated production metadata should similarly take advantage of IT commoditi...
Dieter Van Rijsselbergen, Barbara Van De Keer, Rik...
FUIN
2007
147views more  FUIN 2007»
15 years 7 months ago
Privacy Preserving Database Generation for Database Application Testing
Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively few efforts ...
Xintao Wu, Yongge Wang, Songtao Guo, Yuliang Zheng
210
Voted
PAMI
2006
181views more  PAMI 2006»
15 years 7 months ago
Optimal Surface Segmentation in Volumetric Images-A Graph-Theoretic Approach
Efficient segmentation of globally optimal surfaces representing object boundaries in volumetric data sets is important and challenging in many medical image analysis applications....
Kang Li, Xiaodong Wu, Danny Z. Chen, Milan Sonka