4924 search results - page 225 / 985 » A Software System for Spatial Data Analysis and Modeling |
143
click to vote
ISARCS
2010
15 years 8 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
101
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
153
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
142
click to vote
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
Existing software product variants, developed by ad hoc reuse such as copy-paste-modify, are often a starting point for building Software Product Line (SPL). Understanding of how ...
178
click to vote
ECMDAFA
2009
Springer
15 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...