1347 search results - page 84 / 270 » A Web-based requirements analysis tool |
135
click to vote
PASTE
1998
ACM
15 years 4 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
108
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
105
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
The Gaussian mixture model (GMM) can approximate arbitrary probability distributions, which makes it a powerful tool for feature representation and classification. However, it su...
123
click to vote
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
113
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...