4744 search results - page 274 / 949 » Connected Computing |
138
click to vote
AINTEC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we will build a fault-tolerant network using a Multiple Care-of Addresses registration implementation on NEPL (NEMO Platform for Linux) for the GNU/Linux Operating S...
130
click to vote
FTDCS
2004
IEEE
15 years 7 months ago
2004
IEEE
Peer-to-peer (P2P) networks and mobile ad hoc networks (MANET) share some key characteristics: selforganization and decentralization, and both need to solve the same fundamental p...
135
click to vote
ECOOPW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
137
click to vote
AAAI
2008
15 years 6 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
115
click to vote
CIE
2008
Springer
15 years 4 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...