Sciweavers

841 search results - page 20 / 169
» Generalized Projection Based M-Estimator: Theory and Applica...
Sort
View
LICS
2009
IEEE
14 years 2 months ago
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
Jérôme Leroux
OOPSLA
2001
Springer
14 years 12 days ago
Modular Mixin-Based Inheritance for Application Frameworks
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
Dominic Duggan, Ching-Ching Techaubol
TSE
1998
109views more  TSE 1998»
13 years 7 months ago
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
—This paper describes the results of an investigation into a set of metrics for object-oriented design, called the MOOD metrics. The merits of each of the six MOOD metrics is dis...
Richard H. Carver, Steve Counsell, Reuben V. Nithi
HT
2004
ACM
14 years 1 months ago
Practical applitudes: case studies of applications of the ZigZag hypermedia system
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...
Adam Moore, James Goulding, Tim J. Brailsford, Hel...
EUROCRYPT
2005
Springer
14 years 1 months ago
Smooth Projective Hashing and Two-Message Oblivious Transfer
We present a general framework for constructing two-message oblivious transfer protocols using a modification of Cramer and Shoup’s notion of smooth projective hashing (2002). ...
Yael Tauman Kalai