4520 search results - page 169 / 904 » Algebraic Techniques for Timed Systems |
225
click to vote
DM
2006
15 years 7 months ago
2006
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
195
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
203
click to vote
EUROCRYPT
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
335
click to vote
AUTOMATICA
2011
15 years 2 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
273
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...