4290 search results - page 112 / 858 » Formal Approaches to Teamwork |
205
Voted
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
157
Voted
SAFECOMP
2004
Springer
16 years 9 days ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
227
click to vote
AI
2003
Springer
16 years 5 days ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
183
Voted
DOCENG
2007
ACM
15 years 11 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
191
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...