4340 search results - page 526 / 868 » Formal Methods and Cryptography |
169
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
144
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
144
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
148
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The inclusion of additional modalities into the communicative behavior of virtual agents besides speech has moved into focus of human-computer interface researchers, as h...
185
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...