3273 search results - page 27 / 655 » Structured Design of Microelectromechanical Systems |
CHI
1995
ACM
15 years 1 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...
OSDI
1996
ACM
14 years 11 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...
CORR
1999
Springer
14 years 9 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...
ATAL
2008
Springer
14 years 11 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...
CSMR
2008
IEEE
14 years 11 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...