8031 search results - page 168 / 1607 » Knowledge and Workflow Systems |
131
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
132
click to vote
ECIS
2001
15 years 5 months ago
2001
The empirical findings from an organization, which adopted and implemented ERP, are presented. The focus of this empirical research was to understand the nature and processes of k...
135
click to vote
ACHI
2009
IEEE
15 years 10 months ago
2009
IEEE
Designing CSCW systems that support the widely varying needs of targeted users is difficult. There is no silver bullet technology that enables users to effectively collaborate wit...
119
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
This paper examines the way in which a knowledge management system (KMS)—by which we mean the people, processes and software—came into being and evolved in response to a varie...
129
click to vote
LREC
2008
15 years 5 months ago
2008
This paper introduces a new architecture that aims at combining molecular biology data with information automatically extracted from scientific literature (using text mining techn...