3765 search results - page 633 / 753 » Formal Methods for Systems Engineering Behavior Models |
140
Voted
IDEAS
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a new storage model called MBSM (Multiresolution Block Storage Model) for laying out tables on disks. MBSM is intended to speed up operations such as scans that are typ...
138
Voted
SIGECOM
2003
ACM
15 years 8 months ago
2003
ACM
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...
134
Voted
TSP
2008
15 years 2 months ago
2008
Analytical modeling of the performance of video coders is essential in a variety of applications, such as power-constrained processing, complexity-driven video streaming, etc., whe...
97
Voted
IEEESP
2006
15 years 2 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
134
Voted
IWCMC
2010
ACM
15 years 4 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...