4099 search results - page 532 / 820 » A Framework for Interactive Proof |
164
click to vote
CHIMIT
2008
ACM
15 years 8 months ago
2008
ACM
An important factor that impacts the effectiveness of security systems within an organization is the usability of security management tools. In this paper, we present a survey of ...
162
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
178
click to vote
INTERACT
2007
15 years 8 months ago
2007
Meta-design is an emerging conceptual framework aimed at defining and creating socio-technical environments as living entities. It extends existing design methodologies focused on ...
168
click to vote
CLIMA
2004
15 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
183
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Three distinct and interacting types of entities: people, software agents and e-markets are considered in this paper. These entities operate within Shaman, a proposed framework fo...