9785 search results - page 127 / 1957 » Open Agent Systems |
136
Voted
PROLAMAT
2001
15 years 5 months ago
2001
: In an ideal scenario of intelligent machine tools [18] the human mechanist was almost replaced by the controller. During the last decade many efforts have been made to get closer...
119
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
127
Voted
DSE
1998
15 years 3 months ago
1998
The paper addresses the problem of the construction and management of highly available services in large, open distributed systems. A novel replication protocol is proposed to sat...
129
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
109
Voted
SEUS
2009
IEEE
15 years 10 months ago
2009
IEEE