Sciweavers

2005 search results - page 126 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
111
Voted
WSC
1998
15 years 5 months ago
Timed Petri Nets as a Verification Tool
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
Miryam Barad
GI
2009
Springer
15 years 1 months ago
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...
Sven Jörges, Marco Bakera, Tiziana Margaria, ...
159
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
Model-Driven Agile Development of Reactive Multi-Agent Systems
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
James Kirby Jr.
113
Voted
CCE
2005
15 years 3 months ago
Method for selection of solvents for promotion of organic reactions
A method to select appropriate green solvents for the promotion of a class of organic reactions has been developed. The method combines knowledge from industrial practice and phys...
Rafiqul Gani, Concepción Jiménez-Gon...
137
Voted
ICWE
2004
Springer
15 years 9 months ago
Getting Ready Web Engineering Methods for the Semantic Web
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
Victoria Torres, Joan Fons, Oscar Asensi, Vicente ...