9511 search results - page 206 / 1903 » Selected Design Issues |
129
click to vote
TELSYS
2002
15 years 3 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
231
click to vote
ICDE
1997
IEEE
16 years 5 months ago
1997
IEEE
Data warehouses collect copies of information from remote sources into a single database. Since the remote data is cached at the warehouse, it appears as local relations to the us...
130
click to vote
APWEB
2004
Springer
15 years 9 months ago
2004
Springer
Queries to data warehouses often involve hundreds of complex aggregations over large volumes of data, and so it is infeasible to compute these queries by scanning the data sources ...
136
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Internet coordinate systems have emerged as an efficient method to estimate the latency between pairs of nodes without any communication between them. However, most coordinate sy...
152
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...