1121 search results - page 123 / 225 » Building Formal Requirements Models for Reliable Software |
133
Voted
TROB
2002
15 years 3 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
117
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
150
Voted
FMSP
2000
ACM
15 years 8 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
144
Voted
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
174
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...