11066 search results - page 252 / 2214 » Linearity in Process Languages |
143
click to vote
ESANN
2008
15 years 6 months ago
2008
The evaluation of a standard Gaussian process regression model takes time linear in the number of training data points. In this paper, the models are approximated in the feature sp...
121
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
127
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...
120
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
143
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...