1121 search results - page 52 / 225 » Building Formal Requirements Models for Reliable Software |
123
click to vote
ECBS
1999
IEEE
15 years 4 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
189
click to vote
GIS
2007
ACM
16 years 27 days ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
115
click to vote
EGITALY
2006
15 years 1 months ago
2006
In recent years the progress of 3D scanning technologies and the consequent growing commercialization of scanners opened a large spectrum of opportunities for many professionals. ...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
100
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...