Sciweavers

3394 search results - page 403 / 679
» Regular Object Types
Sort
View
ENTCS
2008
80views more  ENTCS 2008»
15 years 6 months ago
Idempotents in Dagger Categories: (Extended Abstract)
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
Peter Selinger
IJMMS
2006
93views more  IJMMS 2006»
15 years 6 months ago
Presence, workload and performance effects of synthetic environment design factors
There remains a limited understanding of factors in presence and its relation to performance. This research examined a range of synthetic environment (SE) design features (viewpoi...
Ruiqi Ma, David B. Kaber
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
16 years 6 months ago
Cross-tier, label-based security enforcement for web applications
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks
INEX
2005
Springer
16 years 3 days ago
INEX 2005 Multimedia Track
In this article the activities of the INEX 2005 Multimedia track are reported. We succesfully realized our objective, to provide an evaluation platform for the evaluation of retrie...
Roelof van Zwol, Gabriella Kazai, Mounia Lalmas
ADAEUROPE
2000
Springer
15 years 11 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky