10159 search results - page 311 / 2032 » System Design Validation Using Formal Models |
119
Voted
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...
144
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper, we propose an original hybrid statistical-structural method for on-line Chinese character recognition. We model characters thanks to fuzzy inference rules combining...
120
Voted
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
146
Voted
ICSOC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
135
click to vote
IAJIT
2008
15 years 3 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...