3799 search results - page 234 / 760 » An Engineering Approach to Formal Methods |
158
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
125
click to vote
COMPSAC
1996
IEEE
15 years 9 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
166
click to vote
RE
2010
Springer
14 years 12 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
128
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
122
click to vote
TACS
1997
Springer
15 years 9 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...