Sciweavers

3394 search results - page 242 / 679
» Regular Object Types
Sort
View
POPL
2005
ACM
16 years 6 months ago
Environmental acquisition revisited
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
Richard Cobbe, Matthias Felleisen
PADL
1999
Springer
15 years 10 months ago
MCORBA: A CORBA Binding for Mercury
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
David Jeffery, Tyson Dowd, Zoltan Somogyi
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
15 years 4 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer
ICWL
2004
Springer
15 years 12 months ago
Context-Based Classification for Link Data
In Web-based e-learning, an up-to-date catalogue of subject-specific Web resources can effectively offer inexperienced students with an advanced academic portal on the Web. To auto...
YongHong Tian, Wen Gao, Tiejun Huang
ERSHOV
2009
Springer
15 years 10 months ago
Indexing Dense Nested Metric Spaces for Efficient Similarity Search
Abstract. Searching in metric spaces is a very active field since it offers methods for indexing and searching by similarity in collections of unstructured data. These methods sele...
Nieves R. Brisaboa, Miguel Rodríguez Luaces...