7311 search results - page 1277 / 1463 » Time in State Machines |
147
click to vote
CARDIS
2008
Springer
15 years 8 months ago
2008
Springer
Digital signatures are one of the most important applications of microprocessor smart cards. The most widely used algorithms for digital signatures, RSA and ECDSA, depend on finite...
178
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...
157
click to vote
ITP
2010
15 years 8 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
160
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We have developed a computational framework to characterize social network dynamics in the blogosphere at individual, group and community levels. Such characterization could be us...
191
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
Data mining applications are typically used in the decision making process. The Knowledge Discovery Process (KDD process for short) is a typical iterative process, in which not on...