1027 search results - page 6 / 206 » A Model for Java with Wildcards |
92
Voted
LATINCRYPT
2010
14 years 9 months ago
2010
Abstract. In this paper we extend the notion of hierarchical identitybased encryption with wildcards (WIBE) from the domain of a single Trusted Authority (TA) to a setting with mul...
ECOOP
2008
Springer
15 years 19 days ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
AAAI
2007
15 years 1 months ago
2007
101
click to vote
WSC
1997
15 years 6 days ago
1997
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
FMICS
2006
Springer
15 years 2 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...