5084 search results - page 422 / 1017 » Proving Possibility Properties |
231
Voted
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
191
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
174
Voted
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
194
Voted
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We propose a principled approach to summarization of visual data (images or video) based on optimization of a well-defined similarity measure. The problem we consider is re-target...
163
click to vote
INFOCOM
2003
IEEE
16 years 4 days ago
2003
IEEE
–This paper addresses the efficient multicast dissemination of bulk data from a single server to numerous clients. The challenge is complex: a client may commence reception at ar...