Sciweavers

10441 search results - page 321 / 2089
» Performance modeling of heterogeneous systems
Sort
View
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
16 years 26 days ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
16 years 10 days ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
TACAS
2009
Springer
167views Algorithms» more  TACAS 2009»
16 years 1 months ago
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
Elina Pacini Naumovich, Simona Bernardi, Marco Gri...
CAISE
2001
Springer
15 years 11 months ago
A Semantic Approach to Integrating XML and Structured Data Sources
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
Peter McBrien, Alexandra Poulovassilis
AUTOMATICA
2007
104views more  AUTOMATICA 2007»
15 years 7 months ago
Improving off-line approach to robust MPC based-on nominal performance cost
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
BaoCang Ding, YuGeng Xi, Marcin T. Cychowski, Thom...