4341 search results - page 595 / 869 » Quantitative Model checking |
171
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num ber of scientific and engineering applications. This paper investig...
201
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
132
click to vote
COMSWARE
2007
IEEE
16 years 29 days ago
2007
IEEE
- Impact of random delays and losses in sensor networks manifests in the form of tardiness of data used for processing at the sink nodes. The age of data used by the end applicatio...
167
click to vote
CVPR
2007
IEEE
16 years 29 days ago
2007
IEEE
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...
199
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— This paper presents an analytical model for evaluating the capability of wireless LANs (WLANs) to provision quantitative quality of service (QoS) guarantees. We conside...