2740 search results - page 194 / 548 » A Model-Based Approach To Requirements Analysis |
128
Voted
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
136
Voted
VLDB
1990
ACM
15 years 7 months ago
1990
ACM
Disk arrays (RAID) have been proposed as a possible approach to solving the emerging I/O bottleneck problem. The performance of a RAID system when all disks are operational and th...
140
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
150
Voted
CARS
2001
15 years 4 months ago
2001
Most interactive segmentation methods are defined at a 2-d level requiring sometimes extensive interaction when the object of interest is difficult to be outlined by simple means ...
160
Voted
DMDW
2001
15 years 4 months ago
2001
Star schema, which maintains one-to-many relationships between dimensions and a fact table, is widely accepted as the most viable data representation for dimensional analysis. Rea...