7529 search results - page 1166 / 1506 » The Modula-3 Type System |
148
click to vote
IEEESP
2006
15 years 6 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
176
click to vote
JOT
2008
15 years 6 months ago
2008
Object-oriented programming languages are being widely adopted as one of the most powerful languages due their flexibility and reusability. However, these languages suffer from me...
192
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
173
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
178
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Cloud computing is rapidly increasing in popularity. Companies such as RedHat, Microsoft, Amazon, Google, and IBM are increasingly funding cloud computing infrastructure and resea...