290 search results - page 40 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
OOPSLA
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
ISORC
2005
IEEE
14 years 10 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CLA
2004
13 years 8 months ago
2004
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
DIAGRAMS
2010
Springer
13 years 8 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
BTW
1999
Springer
13 years 11 months ago
1999
Springer
Data mining has been recognised as an essential element of decision support, which has increasingly become a focus of the database industry. Like all computationally expensive data...