Sciweavers

1791 search results - page 255 / 359
» Semantics and Complexity of SPARQL
Sort
View
OOPSLA
2009
Springer
15 years 11 months ago
Scalable nonblocking concurrent objects for mission critical code
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
Damian Dechev, Bjarne Stroustrup
OTM
2009
Springer
15 years 11 months ago
Ontology-Driven Provenance Management in eScience: An Application in Parasite Research
Provenance, from the French word ā€œprovenirā€, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
Satya Sanket Sahoo, D. Brent Weatherly, Raghava Mu...
PPDP
2009
Springer
15 years 11 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
OOPSLA
2007
Springer
15 years 10 months ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu
MSS
2005
IEEE
112views Hardware» more  MSS 2005»
15 years 10 months ago
Violin: A Framework for Extensible Block-Level Storage
Storage virtualization is becoming more and more important due to the increasing gap between application requirements and the limited functionality offered by storage systems. In...
Michail Flouris, Angelos Bilas