3815 search results - page 220 / 763 » An Implementation of Session Types |
ECOOP
2000
Springer
14 years 21 days ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
CCS
1999
ACM
14 years 20 days ago
1999
ACM
We present a novel approach to improving the security of passwords. In our approach, the legitimate user’s typing patterns (e.g., durations of keystrokes and latencies between ke...
HICSS
1997
IEEE
14 years 17 days ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
FATES
2004
Springer
14 years 3 days ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
ISSS
1995
IEEE
13 years 12 months ago
1995
IEEE
We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...