2748 search results - page 317 / 550 » Generating Object-Z Specifications from Use Cases |
147
click to vote
WSC
1997
15 years 5 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
149
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
145
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
138
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
157
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Homology is a key concept in both evolutionary biology and genomics. Detection of homology is crucial in fields like the functional annotation of protein sequences and...