11324 search results - page 378 / 2265 » Coordination Models and Languages |
214
Voted
BPM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
204
Voted
FOSSACS
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
227
Voted
ICSE
1998
IEEE-ACM
15 years 12 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
199
Voted
IAT
2007
IEEE
16 years 2 months ago
2007
IEEE
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
192
Voted
IWSSD
2000
IEEE
16 years 2 days ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...