4987 search results - page 943 / 998 » Fuzzifying P Systems |
147
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
182
click to vote
DIALM
2007
ACM
15 years 10 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
164
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Policy autonomy exercised by Autonomous Systems (ASes) on the Internet can result in persistent oscillations in Border Gateway Protocol, the Internet’s inter-domain ro...
193
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
167
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...