3057 search results - page 171 / 612 » Complexity management |
126
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
The underlying processes that enable database query execution are fundamental to understanding database management systems. However, these processes are complex and can be difficu...
117
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
144
click to vote
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
126
click to vote
AAAI
1994
15 years 5 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
122
click to vote
JAR
2007
15 years 3 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...