2850 search results - page 294 / 570 » On Timed Models and Full Abstraction |
210
click to vote
PVLDB
2010
15 years 5 months ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...
187
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
306
click to vote
TON
2012
13 years 9 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
175
click to vote
ESORICS
2003
Springer
16 years 3 hour ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
207
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
In recent years, the proliferation of VOIP data has created a number of applications in which it is desirable to perform quick online classification and recognition of massive voi...