1438 search results - page 92 / 288 » An Expressive Extension of TLC |
104
Voted
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
DCC
2007
IEEE
16 years 10 days ago
2007
IEEE
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
104
click to vote
DCC
2002
IEEE
16 years 10 days ago
2002
IEEE
This contribution is concerned with a generalization of Itoh and Tsujii's algorithm for inversion in extension fields GF(qm ). Unlike the original algorithm, the method introd...
93
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
118
Voted
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...