Sciweavers

4205 search results - page 101 / 841
» Typed Mobile Objects
Sort
View
141
Voted
PLDI
2003
ACM
15 years 9 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...
117
Voted
CORR
2004
Springer
120views Education» more  CORR 2004»
15 years 3 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
125
Voted
ICDE
2003
IEEE
137views Database» more  ICDE 2003»
15 years 9 months ago
Personalized Portals for the Wireless and Mobile User; a Mobile Agent Approach
The Wireless environment requires new type of services and new ways for structuring the needed content. Personalization comes into aid via the creation of personalized portals tha...
Christoforos Panayiotou, George Samaras
125
Voted
CACM
1998
81views more  CACM 1998»
15 years 3 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
15 years 8 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