92
Voted
ETS
2002
IEEE
15 years 10 days ago
2002
IEEE
Information technology is arguably an important tool for knowledge management, facilitating learning in a business context. However, the current use of information technology in t...
79
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
98
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
: As organizations continue to leverage the Internet for business, there is an increasing demand for platforms that support a variety of different business models
88
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
Abstract: Gegenstand des vorliegenden Artikels ist die Vorstellung des aktuellen Entwicklungstandes von POSEIDON, einem Werkzeug zur Modellierung, Simulation und Analyse von Petri-...
81
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
90
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
86
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
: We present a twofolded view to the Petri Net Markup Language (PNML). On the one hand we describe the current state of PNML seen while adopting PNML for an existing tool. The exte...
75
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
101
Voted
EMISA
2002
Springer
15 years 10 days ago
2002
Springer
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...