Sciweavers

15777 search results - page 2599 / 3156
» Software Engineering
Sort
View
ACMIDC
2010
15 years 11 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
EICS
2009
ACM
15 years 11 months ago
An infrastructure for experience centered agile prototyping of ambient intelligence
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
José Luís Silva, José Creissa...
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
CCS
2006
ACM
15 years 10 months ago
Modelling the relative strength of security protocols
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
Ho Chung, Clifford Neuman
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...
« Prev « First page 2599 / 3156 Last » Next »