1307 search results - page 218 / 262 » Conceptual models: begin by designing what to design |
WWW
2010
ACM
15 years 9 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...
116
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
105
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
114
click to vote
WSC
2000
15 years 3 months ago
2000
Supply Chain management, the management of the flow of goods or services from materials stage to the end user, is a complex process because of the level of uncertainty at each sta...
120
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...