1234 search results - page 107 / 247 » An evaluation of conceptual business process modelling langu... |
108
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
152
click to vote
BXML
2003
15 years 3 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
138
click to vote
JSW
2008
15 years 1 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
126
click to vote
EPEW
2005
Springer
15 years 7 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
143
click to vote
WSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...