1448 search results - page 147 / 290 » Restricted Stack Implementations |
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
ACSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
The administration of users and access rights in large enterprises is a complex and challenging task. Roles are a powerful concept for simplifying access control, but their implem...
JTRES
2009
ACM
14 years 17 days ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
ICICS
2001
Springer
14 years 10 days ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
ICFP
1999
ACM
14 years 6 days ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...