397 search results - page 21 / 80 » Optimizing Modular Logic Languages |
114
Voted
DEON
2008
Springer
15 years 4 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
137
Voted
FPL
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--Modular multiplication of long integers is an important building block for cryptographic algorithms. Although several FPGA accelerators have been proposed for large modul...
148
Voted
TCS
2002
15 years 2 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
118
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
164
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...