5777 search results - page 365 / 1156 » The palladio component model |
180
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
158
click to vote
AAI
2000
15 years 7 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
244
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
200
Voted
WWW
2010
ACM
16 years 2 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...
197
click to vote
HIPEAC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...