489 search results - page 5 / 98 » Reasoning about confidentiality at requirements engineering ... |
101
click to vote
AI
2000
Springer
15 years 6 days ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
116
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
105
Voted
FUIN
2008
15 years 12 days ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
SIGSOFT
1998
ACM
15 years 4 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
95
Voted
IFIPTM
2010
14 years 11 months ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...