4255 search results - page 463 / 851 » Database: Models, Languages, Design |
292
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
189
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
198
click to vote
ICFEM
2007
Springer
16 years 1 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...
179
click to vote
POPL
2005
ACM
16 years 13 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
169
click to vote
SIGADA
1998
Springer
15 years 11 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...