6740 search results - page 712 / 1348 » Using Classification as a Programming Language |
151
click to vote
GROUP
2003
ACM
16 years 6 days ago
2003
ACM
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
178
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
158
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
181
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
283
click to vote
ASIAN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...