249 search results - page 37 / 50 » Analyzing software process models with AVISPA |
94
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
118
click to vote
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
90
Voted
C3S2E
2008
ACM
15 years 2 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
118
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
88
Voted
ICECCS
1998
IEEE
15 years 4 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...