10038 search results - page 615 / 2008 » Model Checking for Managers |
181
click to vote
USITS
2001
15 years 8 months ago
2001
Previous research has addressed the scalability and availability issues associated with the construction of cluster-based network services. This paper studies the clustering of re...
202
Voted
ISTA
2003
15 years 8 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
219
click to vote
ACL
1998
15 years 8 months ago
1998
In this paper we present results on developing robust natural language interfaces by combining shallowand partialinterpretationwith dialoguemanagement. The key issue is to reduce ...
235
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
Tiger is a scalable, fault-tolerant video file server constructed from a collection of computers connected by a switched network. All content files are striped across all of the c...
232
click to vote
CAL
2007
15 years 7 months ago
2007
—As transistor feature sizes continue to shrink into the sub-90nm range and beyond, the effects of process variations on critical path delay and chip yields have amplified. A com...