10038 search results - page 1663 / 2008 » Model Checking for Managers |
156
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
—This paper addresses the problem of the stability of congestion control for networks with large round-trip communication delays. Nearly all the existed AQM schemes neglect the i...
175
click to vote
ICDE
2007
IEEE
16 years 28 days ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
191
click to vote
ICPP
2007
IEEE
16 years 28 days ago
2007
IEEE
Performance and power are critical design constraints in today’s high-end computing systems. Reducing power consumption without impacting system performance is a challenge for t...
157
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
161
click to vote
APN
2007
Springer
16 years 24 days ago
2007
Springer
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...