Sciweavers

9842 search results - page 585 / 1969
» Compositional timing analysis
Sort
View
PLANX
2008
15 years 8 months ago
XML Type Checking for Macro Tree Transducers with Holes
Macro forest transducers (mfts) extend macro tree transducers (mtts) from ranked to unranked trees. Mfts are more powerful than mtts (operating on binary tree encodings) because t...
Sebastian Maneth, Keisuke Nakano
TSC
2008
144views more  TSC 2008»
15 years 7 months ago
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations
Service level agreements (SLAs), or contracts, have an important role in web services. These contracts define the obligations and rights between the provider of a web service and i...
Sidney Rosario, Albert Benveniste, Stefan Haar, Cl...
ECLIPSE
2006
ACM
16 years 1 months ago
Generating run-time progress reports for a points-to analysis in Eclipse
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
Jason Sawin, Mariana Sharp, Atanas Rountev
ESCIENCE
2005
IEEE
16 years 24 days ago
A Platform for Distributed Analysis of Neuroimaging Data on Global Grids
This paper presents a Grid environment developed for analysis of MRI brain data on global Grids. In the current experiment, the MRI data analysis tasks are composed and formulated...
Scott Kolbe, Tianchi Ma, Wei Liu, Wee Siong Soh, R...
ICSM
2003
IEEE
16 years 13 days ago
Software Systems Integration and Architectural Analysis - A Case Study
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
Rikard Land, Ivica Crnkovic