148 search results - page 24 / 30 » Towards the Automated Annotation of Process Models |
JCDL
2009
ACM
14 years 5 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
ISSS
1996
IEEE
14 years 2 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
ENTCS
2008
13 years 10 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...