3013 search results - page 129 / 603 » Context-Oriented Domain Analysis |
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
110
Voted
FUIN
2006
15 years 24 days ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
198
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
110
Voted
AIME
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
101
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...