251 search results - page 3 / 51 » The main name system: an exercise in centralized computing |
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
Decentralized Voice over IP networks are a promising alternative to classical server-based SIP networks especially in disaster areas or areas without centralized infrastructure. T...
SEMCO
2008
IEEE
14 years 1 months ago
2008
IEEE
Recognizing that information from different sources refers to the same (real world) entity is a crucial challenge in instance-level information integration, as it is a pre-requisi...
ALIFE
2007
13 years 7 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
LPAR
2001
Springer
13 years 12 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
ICCSA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...