Sciweavers

2565 search results - page 65 / 513
» Object type constructors
Sort
View
ISER
1995
Springer
157views Robotics» more  ISER 1995»
14 years 13 days ago
Robotic Perception of Material: Experiments with Shape-Invariant Acoustic Measures of Material Type
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...
Eric Krotkov, Roberta L. Klatzky, Nina B. Zumel
PLDI
2003
ACM
14 years 2 months ago
Ownership types for safe region-based memory management in real-time Java
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
Chandrasekhar Boyapati, Alexandru Salcianu, Willia...
CORR
2004
Springer
120views Education» more  CORR 2004»
13 years 8 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
CACM
1998
81views more  CACM 1998»
13 years 8 months ago
Toward a Model of Type Inheritance
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
C. J. Date, Hugh Darwen
WER
1999
Springer
14 years 1 months ago
An Object Oriented Library for Tracing Requirements
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
Francisco A. C. Pinheiro