1543 search results - page 138 / 309 » Using a Groupware Space for Distributed Requirements Enginee... |
197
click to vote
CIDR
2007
15 years 7 months ago
2007
We present a “black-box” approach to estimating query cardinality that has no knowledge of query execution plans and data distribution, yet provides accurate estimates. It doe...
181
click to vote
MOMPES
2006
IEEE
16 years 11 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
188
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
164
click to vote
CN
2004
15 years 6 months ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
163
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
A new dynamic vector approach for the selection and management of the configuration of a reconfigurable superscalar processor is proposed. This new method improves on previous wor...