2878 search results - page 393 / 576 » Analyzing the Uses of a Software Modeling Tool |
162
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
146
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
152
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Intravascular ultrasound images represent a unique tool to analyze the morphology of arteries and vessels (plaques, etc). The poor quality of these images makes traditional segmen...
159
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
158
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...