1040 search results - page 162 / 208 » Resource Usage Verification |
71
Voted
ISCC
2003
IEEE
15 years 3 months ago
2003
IEEE
Mobile communication is increasingly oriented towards the usage of all IP networks as fixed-network components. An open problem is how to provide QoS guarantees that are competit...
ISPASS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we present the eDragon environment, a research platform created to perform complete performance analysis of new Web-based technologies. eDragon enables the understan...
NCA
2003
IEEE
15 years 3 months ago
2003
IEEE
In content networks, messages are routed on the basis of their content and the interests (subscriptions) of the message consumers. This form of routing offers an interesting alte...
CASES
2003
ACM
15 years 3 months ago
2003
ACM
A significant fraction of the software and resource usage of a modern handheld computer is devoted to its graphical user interface (GUI). Moreover, GUIs are direct users of the d...
FATES
2003
Springer
15 years 3 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...