2702 search results - page 375 / 541 » Practically Applicable Formal Methods |
112
Voted
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...
147
Voted
SP
2007
IEEE
15 years 8 months ago
2007
IEEE
We design an encryption scheme called Multi-dimensional Range Query over Encrypted Data (MRQED), to address the privacy concerns related to the sharing of network audit logs and v...
114
Voted
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
120
click to vote
TROB
2002
15 years 1 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
120
click to vote
EMSOFT
2010
Springer
15 years 10 days ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...