571 search results - page 21 / 115 » A principled approach to operating system construction in Ha... |
SYNTHESE
2008
15 years 1 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
DAGSTUHL
2006
15 years 2 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
131
click to vote
PAM
2011
Springer
14 years 4 months ago
2011
Springer
More than 20 years after the launch of the public Internet, operator forums are still full of reports about temporary unreachability of complete networks. We propose FACT, a system...
104
click to vote
AIIDE
2006
15 years 2 months ago
2006
Entertainment animatronics has traditionally been a discipline devoid of interactivity. Previously, we brought interactivity to this field by creating a suite of content authoring...
124
click to vote
SOSP
2005
ACM
15 years 10 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...