10159 search results - page 311 / 2032 » System Design Validation Using Formal Models |
161
Voted
ASIACRYPT
2009
Springer
16 years 1 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...
192
click to vote
ICPR
2008
IEEE
16 years 8 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...
178
click to vote
FSTTCS
2007
Springer
16 years 26 days 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...
207
click to vote
ICSOC
2005
Springer
16 years 4 days 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-...
183
Voted
IAJIT
2008
15 years 6 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, ...