APN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
APN
2006
Springer
13 years 11 months ago
2006
Springer
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
APN
2006
Springer
13 years 11 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
APN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
AUSAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. A real-world labor market has complex worksite interactions between a worker and an employer. This paper investigates the behavior patterns of workers and employers with ...
AUSAI
2004
Springer
13 years 11 months ago
2004
Springer
AUSAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Association rule mining is a data mining technique that reveals interesting relationships in a database. Existing approaches employ different parameters to search for int...
AUSAI
2004
Springer
13 years 11 months ago
2004
Springer
With the explosive growth of the Internet, e-mails are regarded as one of the most important methods to send e-mails as a substitute for traditional communications. As e-mail has b...