7557 search results - page 1265 / 1512 » Modeling Timed Concurrent Systems |
190
click to vote
ISSAC
1997
Springer
15 years 11 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
187
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
243
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
141
click to vote
FC
2010
Springer
15 years 11 months ago
2010
Springer
A number of security systems, from Chip-and-PIN payment cards to contactless subway and train tokens, as well as secure localization systems, are vulnerable to relay attacks. Encry...
185
click to vote
EUC
2006
Springer
15 years 11 months ago
2006
Springer
Gossip-based protocol has been widely adopted by many large-scale multicast applications. In this paper, we study the impact of node cheating on decentralized gossip-based protocol...