25156 search results - page 381 / 5032 » Applications for conscious systems |
188
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
184
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
Sandboxing systems are extremely useful for secure execution of untrusted applications. Many of the sandboxing systems proposed so far provide security by intercepting system call...
220
click to vote
SIGOPSE
1994
ACM
15 years 11 months ago
1994
ACM
Application domains, such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating syst...
199
click to vote
IISWC
2006
IEEE
16 years 1 months ago
2006
IEEE
Soft errors have become a significant concern and recent studies have measured the “architectural vulnerability factor” of systems to such errors, or conversely, the potentia...
225
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...