1679 search results - page 149 / 336 » Strong order equivalence |
ECP
1999
Springer
14 years 1 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
VL
1999
IEEE
14 years 1 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
CARDIS
1998
Springer
14 years 1 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
SOFSEM
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. The realisation of electronic commerce process is very difficult without appropriate system for electronic payment. Of course it is possible to use some of the convention...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...