3731 search results - page 228 / 747 » Reduct Generation in Information Systems |
202
click to vote
DATE
2005
IEEE
16 years 24 days ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
197
click to vote
EUROCRYPT
2004
Springer
16 years 17 days ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
168
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
210
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
214
click to vote
APN
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...