17054 search results - page 112 / 3411 » Logics of Dynamical Systems |
128
Voted
ISMVL
2008
IEEE
15 years 11 months ago
2008
IEEE
Nanoscale multiple-valued logic systems require the development of nanometer scale integrated circuits and components. Due to limits in device physics, new components must be deve...
127
click to vote
LOGCOM
2010
15 years 3 months ago
2010
Abstract. An approximate Herbrand theorem is established for firstorder infinite-valued Lukasiewicz Logic and used to obtain a proof-theoretic proof of Skolemization. These resul...
127
Voted
PRDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...
130
Voted
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...
222
click to vote
SIGSOFT
2011
ACM
14 years 11 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...