3811 search results - page 327 / 763 » The Safe-Tcl Security Model |
137
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Technology adoption is well defined in e-business. The environment within which leaders must act in government is significantly different that that navigated by business leaders. ...
175
click to vote
TES
2005
Springer
16 years 7 days ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
140
click to vote
ISI
2004
Springer
16 years 3 days ago
2004
Springer
We describe a model for real-time communication exchange in public forums, such as newsgroups and chatrooms, and use this model to develop an efficient algorithm which identifies...
165
click to vote
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
147
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...