2763 search results - page 79 / 553 » The Dangerous 'All' in Specifications |
AINA
2003
IEEE
14 years 2 months ago
2003
IEEE
The increased need for Quality of Service (QoS) in today’s networks has concentrated a lot of research and implementation efforts. Particular interest exists for the exploitatio...
ICDCSW
2003
IEEE
14 years 2 months ago
2003
IEEE
The current sensor networks are assumed to be designed for specific applications, having strongly coupled data communication protocols. The future sensor networks are envisioned a...
DEM
2001
Springer
14 years 1 months ago
2001
Springer
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
CODES
1999
IEEE
14 years 1 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...