10916 search results - page 334 / 2184 » On Constructive Connectives and Systems |
155
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Each time more grows the necessity of guaranteeing itself security and trustworthiness of the equipment during the execution of the industrials processes. Then, it is v...
151
click to vote
EVOTING
2004
15 years 8 months ago
2004
: Remote Internet voting systems still suffer from many security problems which rely on the clients, the servers, and the network connections. Denial-ofservice attacks and viruses ...
166
click to vote
WISES
2003
15 years 8 months ago
2003
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
172
click to vote
WSC
1998
15 years 8 months ago
1998
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...
160
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...