7213 search results - page 340 / 1443 » Automated model grouping |
220
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
199
click to vote
APSEC
2006
IEEE
16 years 26 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
189
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In a distributed space-time coding scheme, based on the relay channel model, the relay nodes co-operate to linearly process the transmitted signal from the source and forward t...
159
click to vote
GROUP
2005
ACM
16 years 10 days ago
2005
ACM
The Community Bar is groupware supporting informal awareness and casual interaction for small social worlds: a group of people with a common purpose. Its conceptual design is prim...
192
click to vote
ACNS
2010
Springer
15 years 11 months ago
2010
Springer
To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ2 ) group elements...