3020 search results - page 503 / 604 » Type Analysis of Prolog Using Type Graphs |
COOPIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
DSN
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the initial results of a qualitative field study of the work required to review and approve the content on government agency web sites. The study analyzes con...
AGENTCL
2003
Springer
14 years 2 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...