Sciweavers

1141 search results - page 181 / 229
» Sharing video annotations
Sort
View
ASPLOS
2008
ACM
13 years 10 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...
ESWS
2008
Springer
13 years 10 months ago
Ontology-based Disambiguation of Spatiotemporal Locations
Abstract. Geographic place names are semantically often highly ambiguous. For example, there are 491 places in Finland sharing the same name "Isosaari" (great island) tha...
Tomi Kauppinen, Riikka Henriksson, Reetta Sinkkil&...
FM
2008
Springer
137views Formal Methods» more  FM 2008»
13 years 10 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
LREC
2010
131views Education» more  LREC 2010»
13 years 10 months ago
An Evolving eScience Environment for Research Data in Linguistics
The amount of research data in the Humanities is increasing at fast speed. Metadata helps describing and making accessible this data to interested researchers within and across in...
Claus Zinn, Peter Wittenburg, Jacquelijn Ringersma
FIW
2007
157views Communications» more  FIW 2007»
13 years 10 months ago
Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
Roberto Silveira Silva Filho, David F. Redmiles