4126 search results - page 281 / 826 » Modelling Electronic Organizations |
224
click to vote
FORTE
2009
15 years 4 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
161
click to vote
ECIS
2003
15 years 8 months ago
2003
The changing competitive landscape has brought new forces to bear on the manner in which new products are developed. These forces have put the creation and dissemination of knowle...
189
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
155
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
144
Voted
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Computer users deal with large amount of personal media data and they often face problems in managing and exploring them. The paper presents an innovative approach, Semantic Regio...