10707 search results - page 1748 / 2142 » Designing executable abstractions |
206
click to vote
ICDM
2003
IEEE
16 years 26 days ago
2003
IEEE
Abstract—Despite the considerable amount of research work on the application of Gabor filters in pattern classification, their design and selection have been mostly done on a t...
233
click to vote
AOSD
2003
ACM
16 years 25 days ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
202
click to vote
AC
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
215
click to vote
HYBRID
2010
Springer
16 years 20 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
202
click to vote
PKC
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...