Sciweavers

15885 search results - page 2648 / 3177
» Strategic Software Engineering
Sort
View
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
CAISE
2006
Springer
15 years 10 months ago
Capability Management and Discovery in Description Logic
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
Dong Cheng, Nacer Boudjlida
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...
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
« Prev « First page 2648 / 3177 Last » Next »