10038 search results - page 1624 / 2008 » Model Checking for Managers |
183
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented...
195
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
With the ever expanding Web and the information published on it, effective tools for managing such data and presenting information to users based on their needs are becoming nece...
180
click to vote
ESA
2010
Springer
15 years 6 months ago
2010
Springer
We study online job scheduling on a processor that can vary its speed dynamically to manage its power. We attempt to extend the recent success in analyzing total unweighted flow ti...
190
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...
158
click to vote
CONCURRENCY
2010
15 years 6 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...