3555 search results - page 695 / 711 » Security-Critical System Development with Extended Use Cases |
113
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
119
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
130
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
115
click to vote
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
121
click to vote
GI
2005
Springer
15 years 6 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...