1660 search results - page 126 / 332 » Abstract Application Modeling for System Design Space Explor... |
134
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
140
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
137
Voted
CIDR
2009
15 years 5 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
142
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
161
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...