2661 search results - page 437 / 533 » Model Checking Performability Properties |
TASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
TSE
1998
13 years 9 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...
TSP
2010
13 years 4 months ago
2010
Abstract--With increasing spatial reuse of radio spectrum, cochannel interference is becoming a dominant noise source and may severely degrade the communication performance of wire...
MOBIHOC
2008
ACM
14 years 9 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
HPDC
2010
IEEE
13 years 11 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...