Sciweavers

1744 search results - page 56 / 349
» What's There to Talk About
Sort
View
JUCS
2008
113views more  JUCS 2008»
13 years 10 months ago
What is Correctness of Security Protocols?
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
Giampaolo Bella
LORI
2009
Springer
14 years 4 months ago
An Update Operator for Strategic Ability
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
CIA
2007
Springer
14 years 4 months ago
Managing Sensors and Information Sources Using Semantic Matchmaking and Argumentation
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
Alun D. Preece
ICWE
2007
Springer
14 years 4 months ago
Evolution of Web Applications with Aspect-Oriented Design Patterns
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
Michal Bebjak, Valentino Vranic, Peter Dolog
CIE
2010
Springer
14 years 3 months ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton