3082 search results - page 565 / 617 » Deviation Analysis: A New Use of Model Checking |
186
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
The increase of IEEE 802.11’s bandwidth led to a deployment of many multimedia applications over wireless networks. Nevertheless, these applications impose stringent constraints...
183
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
167
click to vote
APWEB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
165
click to vote
WACV
2005
IEEE
15 years 11 months ago
2005
IEEE
The performance of face recognition systems that use two-dimensional images depends on consistent conditions w.r.t. lighting, pose, and facial appearance. We are developing a face...
177
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...