6740 search results - page 409 / 1348 » Using Classification as a Programming Language |
IFIP
1992
Springer
15 years 7 months ago
1992
Springer
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
123
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
122
click to vote
JAVA
2000
Springer
15 years 7 months ago
2000
Springer
We describe a system for gathering and analyzing Java trace data. The system provides relatively complete data collection from large Java systems. It also provides a variety of di...
119
click to vote
IFIP
1997
Springer
15 years 7 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
125
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...