10899 search results - page 221 / 2180 » Wide Area Computation |
206
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
209
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
240
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Surveillance systems, such as sensor networks and surveillance camera networks, have been widely deployed to monitor events in many different scenarios. One common way to conser...
196
click to vote
HCI
2009
15 years 5 months ago
2009
Logistics is a dynamic and heterogeneous application area for wearable computing. In this paper, wearable computing technologies are examined as basis for a support system for mobi...
194
click to vote
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
Symbolic computation of NURBS plays an important role in many areas of NURBS-based geometric computation and design. However, any nontrivial symbolic computation, especially when ...