2562 search results - page 32 / 513 » The Use of B2B Process Standards: A Case Study |
IDC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
CLEIEJ
2002
14 years 9 months ago
2002
This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, me...
DKE
1998
14 years 9 months ago
1998
This paper presents a case-study of automatic construction of a hypertext from a large full-text document. The document we used as input of the automatic authoring process is a we...
JACM
2002
14 years 9 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper focuses on mining human strategies by observing their actions. Our application domain is an HCI study aimed at discovering general strategies used by software users and...