1573 search results - page 200 / 315 » Signs and Formal Concepts |
170
Voted
DISCEX
2003
IEEE
16 years 7 days 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...
165
click to vote
HICSS
2003
IEEE
16 years 7 days 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...
166
Voted
HICSS
2003
IEEE
16 years 7 days 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...
161
click to vote
TPHOL
2003
IEEE
16 years 6 days 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...
193
click to vote
AGENTCL
2003
Springer
16 years 5 days 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...