Sciweavers

8627 search results - page 1395 / 1726
» Software Engineering Using RATionale
Sort
View
ACMIDC
2010
15 years 10 months ago
Investigating the impact of design processes on children
While there is a wealth of information about children’s technology and the design processes used to create it, there is a dearth of information regarding how the children who pa...
Mona Leigh Guha, Allison Druin, Jerry Alan Fails
APWEB
2006
Springer
15 years 10 months ago
Named Graphs as a Mechanism for Reasoning About Provenance
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
E. Rowland Watkins, Denis A. Nicole
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
DSVIS
2006
Springer
15 years 10 months ago
Toward Quality-Driven Development of 3D Computer Games
The development of video games is a complex software engineering activity bringing together large multidisciplinary teams under stringent constraints. While much has been written a...
T. C. Nicholas Graham, Will Roberts
ESA
2006
Springer
82views Algorithms» more  ESA 2006»
15 years 10 months ago
The Price of Resiliency: A Case Study on Sorting with Memory Faults
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe...
« Prev « First page 1395 / 1726 Last » Next »