1054 search results - page 151 / 211 » Determining Computing Science's Role |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...
100
click to vote
DIS
2001
Springer
15 years 2 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
WM
2003
14 years 11 months ago
2003
This paper explores connections between Radical Empiricism (RE), a philosophic attitude developed by William James at the beginning of the 20th century, and Empirical Modelling (E...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...