4957 search results - page 206 / 992 » Simplifying Distributed System Development |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
The pervasive adoption of wireless technologies is creating a growing demand for seamless interaction with wireless services. By sharing resources across devices such as PDA'...
ASWEC
2010
IEEE
13 years 9 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
DEXAW
2007
IEEE
14 years 1 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
HPCN
1997
Springer
14 years 27 days ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
PODC
2009
ACM
14 years 10 months ago
2009
ACM
Due to their simplicity and effectiveness, gossip-based membership protocols have become the method of choice for maintaining partial membership in large P2P systems. A variety of...