11374 search results - page 244 / 2275 » A System Demonstration of ST-TCP |
184
click to vote
ENTCS
2011
15 years 1 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
231
click to vote
PR
2010
15 years 1 months ago
2010
In this paper, we use a hill-climbing attack algorithm based on Bayesian adaption to test the vulnerability of two face recognition systems to indirect attacks. The attacking tech...
213
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
190
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
173
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...