2004 search results - page 344 / 401 » Comparison of Model Checking Tools for Information Systems |
JSS
2010
14 years 10 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
105
click to vote
CGI
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
VIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract-- Neurobiology investigates how anatomical and physiological relationships in the nervous system mediate behavior. Molecular genetic techniques, applied to species such as...
ERCIMDL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
IRI
2003
IEEE
15 years 5 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...