1307 search results - page 218 / 262 » Conceptual models: begin by designing what to design |
WWW
2010
ACM
14 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...
CCS
2004
ACM
14 years 1 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...
ATAL
2006
Springer
13 years 11 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...
WSC
2000
13 years 9 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...
BIRTHDAY
2010
Springer
14 years 20 days 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...