6757 search results - page 296 / 1352 » Knowledge Analysis on Process Models |
246
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
190
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
171
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
155
click to vote
DMSN
2004
ACM
16 years 2 days ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
186
click to vote
ACTA
2002
15 years 6 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...