Sciweavers

1183 search results - page 191 / 237
» Model Transformation for Service-Oriented Web Applications D...
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
14 years 9 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
EUROSYS
2008
ACM
15 years 6 months ago
Manageable fine-grained information flow
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
Petros Efstathopoulos, Eddie Kohler
WEBDB
2005
Springer
83views Database» more  WEBDB 2005»
15 years 3 months ago
Indexing for XML Siblings
Efficient querying XML documents is an increasingly important issue considering the fact that XML becomes the de facto standard for data representation and exchange over the Web,...
SungRan Cho
SPE
2008
140views more  SPE 2008»
14 years 9 months ago
A relational-XML data warehouse for data aggregation with SQL and XQuery
: Integration of multiple data sources is becoming increasingly important for enterprises that cooperate closely with their partners for e-commerce. OLAP enables analysts and decis...
Joseph Fong, Herbert Shiu, Davy Cheung
TWEB
2010
164views more  TWEB 2010»
14 years 8 months ago
A distributed service-oriented architecture for business process execution
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
Guoli Li, Vinod Muthusamy, Hans-Arno Jacobsen