3273 search results - page 27 / 655 » Structured Design of Microelectromechanical Systems |
105
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
120
click to vote
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
Non-blocking synchronization has significant advantages over blocking synchronization: however, it has not been used to a significant degree in practice. We designed and implement...
135
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
116
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
144
click to vote
CSMR
2008
IEEE
15 years 5 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...