462 search results - page 49 / 93 » Supporting e-commerce systems formalization with choreograph... |
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
104
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
106
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
106
click to vote
IJCAI
1989
15 years 1 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...