Sciweavers

537 search results - page 3 / 108

» tools 1999

11

TOOLS
1999
IEEE

68views Programming Languages» more TOOLS 1999»

Reasoning about Inheritance and Cloning Behaviors of Software Agents

13 years 9 months ago

Reasoning about Inheritance and Cloning Behaviors of Software Agents

Download cs.ndsu.edu

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng

claim paper

Read More »

11

TOOLS
1999
IEEE

128views Programming Languages» more TOOLS 1999»

JMSAS: A Mobile Software Agent System

13 years 9 months ago

JMSAS: A Mobile Software Agent System

Download ethesys.yuntech.edu.tw

Chong Chen, Jiwen Huo, Zhongfan Mai

claim paper

Read More »

17

CAV
1999
Springer

85views Hardware» more CAV 1999»

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

13 years 9 months ago

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

9

TOOLS
1999
IEEE

73views Programming Languages» more TOOLS 1999»

Constructing Interoperable Components in Distributed Systems

13 years 9 months ago

Constructing Interoperable Components in Distributed Systems

Download www.jos.org.cn

Sea Ling, Heinz W. Schmidt, Rohan Fletcher

claim paper

Read More »

13

TOOLS
1999
IEEE

86views Programming Languages» more TOOLS 1999»

Extensible Motor of a Object-Relational DBMS: Design and Implementation

13 years 9 months ago

Extensible Motor of a Object-Relational DBMS: Design and Implementation

Download www.mgt.ncu.edu.tw

Shi-guang Ju, Sergio V. Chapa, Wei-he Chen

claim paper

Read More »

« Prev « First page 3 / 108 Last » Next »