197 search results - page 28 / 40 » Calculating with Concepts: a Technique for the Development o... |
CAISE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
SIGGRAPH
1992
ACM
13 years 11 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
VIS
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we present a visualization system for the visual analysis of PET/CT scans of aortic arches of mice. The system has been designed in close collaboration between resea...
WER
2004
Springer
14 years 21 days ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...