3828 search results - page 611 / 766 » Proof-Based System Engineering Using a Virtual System Model |
115
click to vote
CISSE
2007
Springer
15 years 11 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
177
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
145
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
162
Voted
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
123
click to vote
ICRE
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...