3742 search results - page 706 / 749 » On the Use of Formal Techniques for Validation |
158
click to vote
BPM
2009
Springer
16 years 22 days ago
2009
Springer
The goal of performance analysis of business processes is to gain insights into operational processes, for the purpose of optimizing them. To intuitively show which parts of the pr...
206
click to vote
MIDDLEWARE
2009
Springer
16 years 20 days ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
170
click to vote
INFOCOM
2008
IEEE
16 years 16 days ago
2008
IEEE
—A major barrier for the adoption of wireless mesh networks is severe limits on throughput. Many in-network packet mixing techniques at the network layer [1], [2], [3] as well as...
170
click to vote
IPPS
2008
IEEE
16 years 16 days ago
2008
IEEE
In a Grid computing environment, resources are shared among a large number of applications. Brokers and schedulers find matching resources and schedule the execution of the applic...
167
click to vote
INFOCOM
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract— When multiple paths are available between communicating hosts, application quality can be improved by switching among them to always use the best one. The key to such a...