Sciweavers

6197 search results - page 1001 / 1240
» Sandbridge Software Tools
Sort
View
WWW
2005
ACM
16 years 7 months ago
Web services security configuration in a service-oriented architecture
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
Takeshi Imamura, Michiaki Tatsubori, Yuichi Nakamu...
WWW
2002
ACM
16 years 7 months ago
An incremental XSLT transformation processor for XML document manipulation
In this paper, we present an incremental transformation framework called incXSLT. This framework has been experimented for the XSLT language defined at the World Wide Web Consorti...
Lionel Villard, Nabil Layaïda
CC
2009
Springer
141views System Software» more  CC 2009»
16 years 7 months ago
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, S...
CADE
2009
Springer
16 years 7 months ago
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
Albert Rubio, Cristina Borralleras, Enric Rodr&iac...
CHI
2006
ACM
16 years 7 months ago
Understanding photowork
In this paper we introduce the notion of "photowork" as the activities people perform with their digital photos after capture but prior to end use such as sharing. Surpr...
David S. Kirk, Abigail Sellen, Carsten Rother, Ken...
« Prev « First page 1001 / 1240 Last » Next »