1573 search results - page 200 / 315 » Signs and Formal Concepts |
106
Voted
DISCEX
2003
IEEE
15 years 7 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
115
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...
106
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
103
Voted
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
120
Voted
AGENTCL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...