1788 search results - page 81 / 358 » Model Theory for Process Algebra |
125
click to vote
JLP
2006
15 years 19 days ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
118
click to vote
IFIP
1999
Springer
15 years 5 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
96
Voted
CSCWD
2008
Springer
15 years 2 months ago
2008
Springer
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...
ICALT
2008
IEEE
15 years 7 months ago
2008
IEEE
Standardisation of learning technologies as a coordinated design activity needs legitimacy to attract the necessary support from its stakeholders. This paper identifies the need f...
149
Voted
TDM
2004
15 years 2 months ago
2004
This work may be seen as a further proof of the versatility of the relational database model. Here, we add XQuery to the catalog of languages which RDBMSs are able to "speak&...