2838 search results - page 402 / 568 » Verifying Controlled Components |
PARELEC
2000
IEEE
14 years 3 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
ICAIL
1999
ACM
14 years 3 months ago
1999
ACM
Document drafting is a key component of legal expertise. E ective legal document drafting requires knowledge both of legal domain knowledge and of the structure of legal discourse...
RTAS
1998
IEEE
14 years 2 months ago
1998
IEEE
Windows NT was not designed as a real-time operating system, but market forces and the acceptance of NT in industrial applications have generated a need for achieving real-time fu...
AGENTS
1998
Springer
14 years 2 months ago
1998
Springer
We present a generalized market architecture that provides support for a variety of types of transactions, from simple buying and selling of goods and services to complex multi-age...
ADAEUROPE
1997
Springer
14 years 2 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...