597 search results - page 41 / 120 » E-Process Design and Assurance Using Model Checking |
107
click to vote
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
How do design decisions impact the quality of the resulting software? In an empirical study of 52 ECLIPSE plug-ins, we found that the software design as well as past failure histo...
109
click to vote
SERA
2005
Springer
15 years 8 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
138
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
128
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
122
click to vote
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...