4401 search results - page 606 / 881 » Computing with Default Logic |
183
click to vote
ACMSE
1995
ACM
15 years 10 months ago
1995
ACM
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...
230
click to vote
HLPPP
1991
15 years 10 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
201
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
165
click to vote
FORTE
2004
15 years 8 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
196
click to vote
MASCOTS
2001
15 years 8 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...