4211 search results - page 342 / 843 » A formal approach to MASQ |
159
click to vote
BPM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
198
click to vote
ICCS
2003
Springer
16 years 1 days ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
171
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
167
click to vote
EASSS
2001
Springer
15 years 11 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
185
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...