375 search results - page 41 / 75 » Efficient large-scale model checking |
VIS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
A number of applications require selecting targets for specific contents on the basis of criteria defined by the contents providers rather than selecting documents in response to ...
MOBIHOC
2008
ACM
15 years 9 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
The organizing pattern of interaction moves from less to more understanding about the relationships that exist between concepts. The current view of organizing activities is prima...
103
click to vote
DFMA
2005
IEEE
15 years 3 months ago
2005
IEEE
As various multimedia communication services are increasingly required by Internet users, several signaling protocols have been proposed for the efficient control of multimedia co...