769 search results - page 28 / 154 » Is Logic all in our Heads |
125
click to vote
ISHPC
1999
Springer
15 years 5 months ago
1999
Springer
Computer security is of growing importance in the increasingly networked computing environment.This work examines the issue of high-performance network security, specifically int...
102
Voted
DAC
1994
ACM
15 years 4 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
105
Voted
LOGCOM
2007
15 years 18 days ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
115
Voted
WOWMOM
2009
ACM
15 years 5 months ago
2009
ACM
Sensor network which operates on battery are used to gather data in a variety of environments. The data collected by each node is communicated through the network to the sink, whi...
123
Voted
JAPLL
2011
14 years 7 months ago
2011
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...