1251 search results - page 114 / 251 » Using Semantics for Resource Allocation in Computing Service... |
149
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
178
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided ...
168
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
QoS (Quality of Service) support in Web services is an important issue since it ensures service usability and utility for each client and, in addition, improves server utilization...
168
click to vote
FMCO
2008
Springer
15 years 7 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...
161
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
— DIRAC (Distributed Infrastructure with Remote Agent Control) has been developed by the CERN LHCb physics experiment to facilitate large scale simulation and user analysis tasks...