49 search results - page 4 / 10 » Model checking service compositions under resource constrain... |
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
118
click to vote
EDOC
2003
IEEE
15 years 2 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
102
click to vote
ICLP
2004
Springer
15 years 2 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
WIOPT
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— In this paper we investigate Radio Resource Management strategies for multimedia networks driven by economic aspects such as users’ utility and service pricing. To th...
GRID
2003
Springer
15 years 2 months ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...