Sciweavers

3318 search results - page 409 / 664
» The Weak Instance Model
Sort
View
JAVA
2001
Springer
15 years 8 months ago
Core semantics of multithreaded Java
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
Jeremy Manson, William Pugh
NEUROSCIENCE
2001
Springer
15 years 8 months ago
Neural Mechanisms for Representing Surface and Contour Features
Contours and surfaces are basic qualities which are processed by the visual system to aid the successful behavior of autonomous beings within the environment. There is increasing e...
Thorsten Hansen, Heiko Neumann
SEMWEB
2001
Springer
15 years 8 months ago
Utilizing Host-Formalisms to Extend RDF-Semantics
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
Wolfram Conen, Reinhold Klapsing
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
15 years 8 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled
SAC
2000
ACM
15 years 8 months ago
The Evolution of the DARWIN System
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
Joan D. Walton, Robert E. Filman, David J. Korsmey...