2339 search results - page 115 / 468 » Models and Tools for Mulan Applications |
179
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
164
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
187
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
216
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The common utilization-based definition of available bandwidth and many of the existing tools to estimate it suffer from several important weaknesses: i) most tools report a point...
175
click to vote
SENSYS
2004
ACM
16 years 8 days ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...