592 search results - page 119 / 119 » Towards Co-Design of Business Processes and Information Syst... |
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ECTEL
2007
Springer
13 years 11 months ago
2007
Springer
Blogs have the aordance to become an integral part of teaching and learning processes as a vehicle for knowledge management. Open, exible systems integrating blogs provide user-f...