2043 search results - page 231 / 409 » Reasoning About Security Models |
254
click to vote
LAWEB
2006
IEEE
15 years 11 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
175
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...
154
click to vote
NLDB
2004
Springer
15 years 11 months ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
177
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
179
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...